Prefixed tableau systems for logic of proofs and provability

DOI10.1007/978-3-642-40537-2_18MaRDI QIDQ2851946zbMATH OpenOpenAlexFDO

Authors Hidenori Kurokawa

Publication date 4 October 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40537-2_18

zbMATH Keywords

logic of proofsprefixed tableau systemprovability logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• Logic of proofs and provability
• Analytic methods for the logic of proofs
• Tableaux and Hypersequents for Justification Logic
• Tableaux and hypersequents for justification logics
• Logic of proofs

Cited in

(5)

• Dual systems of tableaux and sequents for PLTL
• A tableau style proof system for two paraconsistent logics
• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• A framework for using knowledge in tableau proofs
• Pragmatic Formal Specification of System Properties by Tables

This page was built for publication: Prefixed tableau systems for logic of proofs and provability

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