Sciweavers

16 search results - page 4 / 4
» Metric Propositional Neighborhood Logics: Expressiveness, De...
Sort
View
FORMATS
2006
Springer
13 years 8 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