Symmetric Logic of Proofs

DOI10.1007/978-3-540-78127-1_4zbMath1133.03038OpenAlexW1602089224MaRDI QIDQ5452174

Sergej N. Artemov

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Logic of proofs ⋮ The Logic of Justification

Cites Work

• The logic of proofs, semantically
• Derivability in certain subsystems of the logic of proofs is \(\Pi_2^p\)-complete
• Provability interpretations of modal logic
• Justified common knowledge
• Making knowledge explicit: how hard it is
• On the complexity of the reflected logic of proofs
• Referential logic of proofs
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Logic of Proofs for Bounded Arithmetic
• The single-conclusion proof logic and inference rules specification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Symmetric Logic of Proofs