Labeled sequent calculus for justification logics

DOI10.1016/J.APAL.2016.08.006zbMath1429.03081OpenAlexW2515503808MaRDI QIDQ331048

Meghdad Ghari

Publication date: 26 October 2016

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.08.006

zbMATH Keywords

modal logicanalyticityjustification logicFitting modellabeled sequent calculus

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Combined logics (03B62)

Related Items (1)

On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

Cites Work

• Conservativity for logics of justified belief: two approaches
• Tableaux and hypersequents for justification logics
• Prefixed tableaus and nested sequents
• Realization for justification logics via nested sequents: modularity through embedding
• The ontology of justifications in the logical setting
• Reasoning about collectively accepted group beliefs
• Proof analysis in intermediate logics
• The logic of proofs, semantically
• Proof analysis in modal logic
• Justification logics, logics of knowledge, and conservativity
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Explicit Provability and Constructive Semantics
• Proof Analysis
• Cut Elimination and Realization for Epistemic Logics with Justification
• Introducing Justification into Epistemic Logic
• Analytic Methods for the Logic of Proofs
• Evidence Reconstruction of Epistemic Modal Logic S5
• Realization Theorems for Justification Logics: Full Modularity
• THE LOGIC OF JUSTIFICATION
• Cut Elimination in the Presence of Axioms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Labeled sequent calculus for justification logics