Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

31

MFCS
1999
Springer

favoriteEmaildiscussreport

105views Theoretical Computer Science» more MFCS 1999»

A New Space Bound for the Modal Logics K4, KD4 and S4

14 years 3 months ago

A New Space Bound for the Modal Logics K4, KD4 and S4

Download www.mimuw.edu.pl

We propose so called clausal tableau systems for the common modal logics K4, KD4 and S4. Basing on these systems, we give more eﬃcient decision procedures than those hitherto known for the considered logics. In particular space requirements for our logics are reduced from the previously established bound O(n2 . log n) to O(n. log n).

Linh Anh Nguyen

Real-time Traffic

Clausal Tableau Systems | Common Modal Logics | Log N | MFCS 1999 | Theoretical Computer Science |

claim paper

Related Content

» A ResolutionBased Decision Procedure for Extensions of K4

» On the Complexity of Fragments of Modal Logics

» Constructing the Least Models for Positive Modal Logic Programs

» From topology to metric modal logic and quantification in metric spaces

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	MFCS
Authors	Linh Anh Nguyen

Comments (0)