Labeled sequent calculus for justification logics

DOI10.1016/J.APAL.2016.08.006MaRDI QIDQ331048zbMATH OpenOpenAlexFDO

Authors 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 logicjustification logicanalyticityFitting 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)

Recommendations

• Justification logic. Reasoning with reasons
• What are justification logics?
• Tableaux and hypersequents for justification logics
• Logics of proofs and justifications
• Tableaux and Hypersequents for Justification Logic

Cites work

• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 6174943 (Why is no real title available?)
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• scientific article; zbMATH DE number 2209442 (Why is no real title available?)
• A syntactic realization theorem for justification logics
• Analytic methods for the logic of proofs
• Conservativity for logics of justified belief: two approaches
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Cut Elimination in the Presence of Axioms
• Cut elimination and realization for epistemic logics with justification
• Evidence Reconstruction of Epistemic Modal Logic S5
• Explicit provability and constructive semantics
• Introducing Justification into Epistemic Logic
• Justification logics, logics of knowledge, and conservativity
• Kripke completeness revisited
• Prefixed tableaus and nested sequents
• Proof Analysis
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Realization for justification logics via nested sequents: modularity through embedding
• Realization theorems for justification logics: full modularity
• Reasoning about collectively accepted group beliefs
• Tableaux and hypersequents for justification logics
• The logic of justification
• The logic of proofs, semantically
• The ontology of justifications in the logical setting

Cited in

(8)

• The internalized disjunction property for intuitionistic justification logic
• Tableaux and interpolation for propositional justification logics
• Natural deduction and semantic models of justification logic in the proof assistant \textsc{Coq}
• Labeled Sequent Calculus for Orthologic
• Tableaux and hypersequents for justification logics
• Automated Reasoning with Analytic Tableaux and Related Methods
• Tableaux and Hypersequents for Justification Logic
• On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

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

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