Sciweavers

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

8

ENTCS
2006

favoriteEmaildiscussreport

159views more ENTCS 2006»

Approximations of Modal Logic K

13 years 4 months ago

Approximations of Modal Logic K

Download www.ime.usp.br

Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the context of Massacci's modal Single Step Tableaux (SST). Key words: Approximated Inference, Modal Logic, Approximations of Modal Logic.

Guilherme de Souza Rabello, Marcelo Finger

Real-time Traffic

Classical Logic | ENTCS 2006 | Modal Logic | Natural Proof Theory |

claim paper

Related Content

» Approximations of modal logics K and beyond

» The product of converse PDL and polymodal K

» A ResolutionBased Decision Procedure for Extensions of K4

» FixedPoint Logic with the Approximation Modality and Its Kripke Completeness

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

» Improved Decision Procedures for the Modal Logics K T and S4

» A Benchmark Method for the Propositional Modal Logics K KT S4

» BDDbased decision procedures for the modal logic K

» On the Modal Logic K Plus Theories

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Guilherme de Souza Rabello, Marcelo Finger

Comments (0)