Search Sciweavers | Sciweavers

2920 search results - page 83 / 584

» Finite information logic

137

click to vote

FORMATS
2006
Springer

113views Formal Methods» more FORMATS 2006»

A Dose of Timed Logic, in Guarded Measure

15 years 7 months ago

Download www.imsc.res.in

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

claim paper

Read More »

132

click to vote

APAL
2010

97views more APAL 2010»

A modal logic framework for reasoning about comparative distances and topology

15 years 4 months ago

Download www.csc.liv.ac.uk

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...

claim paper

Read More »

126

click to vote

ICEIS
2008
IEEE

110views Information Technology» more ICEIS 2008»

Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Pri

15 years 10 months ago

Download www.ia.hiof.no

Steinar Kristoffersen

claim paper