Approximations of Modal Logic K | Zendy

Guilherme de Souza Rabello | Zendy; Marcelo Finger | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Approximations of Modal Logic K

Author(s) -

Guilherme de Souza Rabello,

Marcelo Finger

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2005.04.040

Subject(s) - modal logic , multimodal logic , modal , normal modal logic , s5 , accessibility relation , context (archaeology) , limit (mathematics) , epistemic modal logic , semantics (computer science) , modal μ calculus , dynamic logic (digital electronics) , mathematics , computer science , algorithm , calculus (dental) , theoretical computer science , description logic , programming language , mathematical analysis , physics , dentistry , transistor , voltage , chemistry , biology , paleontology , quantum mechanics , medicine , polymer chemistry

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)

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research