Decidability for some justification logics with negative introspection
From MaRDI portal
Publication:5300069
DOI10.2178/jsl.7802030zbMath1276.03017MaRDI QIDQ5300069
Publication date: 24 June 2013
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1368627056
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03B25: Decidability of theories and sets of sentences
Related Items
Justification Logics with Probability Operators, A Conflict Tolerant Logic of Explicit Evidence, Semirings of Evidence, Conditional obligations in justification logic, Explicit non-normal modal logic
Cites Work
- The logic of proofs, semantically
- Referential logic of proofs
- Explicit Provability and Constructive Semantics
- Justifications for common knowledge
- Reference Constructions in the Single-conclusion Proof Logic
- On Realization of -modality by Evidence Terms
- THE LOGIC OF JUSTIFICATION
- Extending the system T\(_0\) of explicit mathematics: The limit and Mahlo axioms
- The single-conclusion proof logic and inference rules specification
- Logic of proofs and provability