Tableaux and hypersequents for justification logics

DOI10.1016/J.APAL.2011.09.013zbMATH Open1239.03010OpenAlexW1981979308MaRDI QIDQ408538FDOQ408538

Authors: Hidenori Kurokawa 

Publication date: 10 April 2012

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

Recommendations

• Tableaux and Hypersequents for Justification Logic
• Cut elimination and realization for epistemic logics with justification
• Labeled sequent calculus for justification logics
• Justification logic. Reasoning with reasons
• Logics of proofs and justifications

zbMATH Keywords

modal logicjustification logictableauxhypersequents

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Explicit provability and constructive semantics
• Rewriting
• Tableau methods for modal and temporal logics
• Introducing Justification into Epistemic Logic
• Title not available (Why is that?)
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Proof methods for modal and intuitionistic logics
• On the complexity of the reflected logic of proofs
• Title not available (Why is that?)
• Indexed systems of sequents and cut-elimination
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• Tableaux and Hypersequents for Justification Logic
• Logics With Several Modal Operators

Cited In (13)

• Title not available (Why is that?)
• Tableaux and interpolation for propositional justification logics
• Title not available (Why is that?)
• A Tableau Calculus for Hajek's Logic BL
• Title not available (Why is that?)
• Title not available (Why is that?)
• Labeled sequent calculus for justification logics
• A tableau style proof system for two paraconsistent logics
• Tableaux for Reasoning about Atomic Updates
• Prefixed tableau systems for logic of proofs and provability
• Tableaux and Hypersequents for Justification Logic
• Tableaux for intuitionistic logics
• An efficient approach to nominal equalities in hybrid logic tableaux

This page was built for publication: Tableaux and hypersequents for justification logics

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