S4LP and Local Realizability

DOI10.1007/978-3-540-79709-8_19zbMath1143.03009OpenAlexW1691203701MaRDI QIDQ3503636

Melvin Fitting

Publication date: 5 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_19

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• The logic of proofs, semantically
• Justified common knowledge
• Explicit Provability and Constructive Semantics
• Epistemology Without Knowledge and Without Belief
• Introducing Justification into Epistemic Logic

This page was built for publication: S4LP and Local Realizability