On non-self-referential fragments of modal logics

DOI10.1016/J.APAL.2016.11.001zbMath1422.03037OpenAlexW2584907720MaRDI QIDQ508827

Junhua Yu

Publication date: 8 February 2017

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.11.001

zbMATH Keywords

realizationjustification logicself-referentiality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics, justification logics, and realization
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Realization for justification logics via nested sequents: modularity through embedding
• The ontology of justifications in the logical setting
• Realizations and LP
• The logic of proofs, semantically
• Self-referential justifications in epistemic logic
• A propositional logic with explicit fixed points
• Prehistoric graph in modal derivations and self-referentiality
• Quasi-realization
• Non-circular proofs and proof realization in modal logic
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Realization using the model existence theorem
• Partial Realization in Dynamic Justification Logic
• Self-referentiality of Justified Knowledge
• Prehistoric Phenomena and Self-referentiality
• THE LOGIC OF JUSTIFICATION
• Weak Logics with Strict Implication
• The Realization Theorem for S5 A Simple, Constructive Proof
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: On non-self-referential fragments of modal logics