Decidability for some justification logics with negative introspection

DOI10.2178/jsl.7802030zbMath1276.03017OpenAlexW2143733069MaRDI QIDQ5300069

Thomas Studer

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

zbMATH Keywords

decidabilityknowledge of agentsjustification logicintrospection axiomsjustified knowledge

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

Related Items

A Conflict Tolerant Logic of Explicit Evidence ⋮ Explicit non-normal modal logic ⋮ Semirings of Evidence ⋮ Conditional obligations in justification logic ⋮ Justification Logics with Probability Operators

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