Tableaux and interpolation for propositional justification logics

DOI10.1215/00294527-2024-0005MaRDI QIDQ6564678zbMATH OpenFDO

Authors Meghdad Ghari

Publication date 1 July 2024

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1215/00294527-2024-0005

zbMATH Keywords

analytic cutdecidabilityinterpolationjustification logicssubformula propertytableaux

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Interpolation, preservation, definability (03C40) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites work

• A complexity question in justification logic
• A hyperintensional logical framework for deontic reasons
• A syntactic realization theorem for justification logics
• Analytic methods for the logic of proofs
• Are tableaux an improvement on truth-tables? Cut-free proofs and bivalence
• Craig interpolation property for operational logics of proofs
• Cut elimination and realization for epistemic logics with justification
• Decidability for justification logics revisited
• Decidability for some justification logics with negative introspection
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• scientific article; zbMATH DE number 3274715 (Why is no real title available?)
• scientific article; zbMATH DE number 3199779 (Why is no real title available?)
• Impossible and conflicting obligations in justification logic
• Justification logic. Reasoning with reasons
• Labeled sequent calculus for justification logics
• Linear temporal justification logics with past and future time modalities
• Logics of proofs and justifications
• Modal logics, justification logics, and realization
• Multi-agent justification logic: communication and evidence elimination
• Prefixed tableaus and nested sequents
• Realization for justification logics via nested sequents: modularity through embedding
• Simple evidence elimination in justification logic
• Tableau methods for classical propositional logic
• Tableaux and hypersequents for justification logics
• The internalized disjunction property for intuitionistic justification logic
• The logic of proofs, semantically
• The Taming of the Cut. Classical Refutations with Analytic Cut

This page was built for publication: Tableaux and interpolation for propositional justification logics

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