Labeled sequent calculus for justification logics

DOI10.1016/J.APAL.2016.08.006zbMATH Open1429.03081OpenAlexW2515503808MaRDI QIDQ331048FDOQ331048

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

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

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)

Cites Work

• Cut Elimination in the Presence of Axioms
• Explicit provability and constructive semantics
• The ontology of justifications in the logical setting
• Title not available (Why is that?)
• The logic of proofs, semantically
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Proof Analysis
• Evidence Reconstruction of Epistemic Modal Logic S5
• The logic of justification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proof analysis in modal logic
• Title not available (Why is that?)
• Justification logics, logics of knowledge, and conservativity
• A syntactic realization theorem for justification logics
• Kripke completeness revisited
• Cut elimination and realization for epistemic logics with justification
• Introducing Justification into Epistemic Logic
• Analytic methods for the logic of proofs
• Realization theorems for justification logics: full modularity
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reasoning about collectively accepted group beliefs
• Proof analysis in intermediate logics

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)