Existential semantics for modal logic

MaRDI QIDQ3007238zbMATH OpenFDO

Authors Sergei Artemov

Publication date 21 June 2011

zbMATH Keywords

epistemic logicexistential realizability semanticsjustificationjustified true beliefknowledgelabelled deductive systemsprovability interpretation of S4

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Comments on Artemov
• On modal logics with existential modality
• scientific article; zbMATH DE number 6302917
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 51606

Cited in

(9)

• A complexity question in justification logic
• Exemplaric Expressivity of Modal Logics
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 5295701 (Why is no real title available?)
• Lower complexity bounds in justification logic
• A quick guided tour to the modal logic \textbf{S4.2}
• Practical extraction of evidence terms from common-knowledge reasoning
• On modal logics with existential modality
• Existential definability of modal frame classes

This page was built for publication: Existential semantics for modal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007238)