Sciweavers

2920 search results - page 83 / 584
» Finite information logic
Sort
View
FORMATS
2006
Springer
15 years 4 months ago
A Dose of Timed Logic, in Guarded Measure
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
Kamal Lodaya, Paritosh K. Pandya
APAL
2010
97views more  APAL 2010»
15 years 26 days ago
A modal logic framework for reasoning about comparative distances and topology
We propose and investigate a uniform modal logic framework for reasoning about topology and relative distance in metric and more general distance spaces, thus enabling the compari...
Mikhail Sheremet, Frank Wolter, Michael Zakharyasc...
45
Voted
ICEIS
2007
IEEE
15 years 7 months ago
On the Logic Underlying Common Sense
Janos J. Sarbo