Proofs and Expressiveness in Alethic Modal Logic | Zendy

Maarten de Rijke | Zendy; Heinrich Wansing | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Proofs and Expressiveness in Alethic Modal Logic

Author(s) -

Maarten de Rijke,

Heinrich Wansing

Publication year - 2006

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Book series

DOI - 10.1002/9780470996751.ch29

Subject(s) - mathematical proof , modal logic , modal , predicate (mathematical logic) , predicate logic , computer science , normal modal logic , calculus (dental) , proof theory , mathematics , programming language , description logic , geometry , medicine , polymer chemistry , chemistry , dentistry

The above dictionary characterization of alethic modalities states the central notions of alethic modal logic: necessity, and other notions that are usually thought of as being definable in terms of necessity and Boolean negation: impossibility, contingency, and possibility. The syntax of modal propositional logic is inductively defined over a denumerable set of sentence letters p0, p1, p2, . . . as follows: A ::= p | ¬A | (A ∨B) | 2A

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