Realization Theorems for Justification Logics: Full Modularity

DOI10.1007/978-3-319-24312-2_16zbMath1471.03084OpenAlexW2247407447MaRDI QIDQ3455773

Annemarie Borg, Roman Kuznets

Publication date: 11 December 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_16

Mathematics Subject Classification ID

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

Related Items (1)

Labeled sequent calculus for justification logics

Cites Work

• Unnamed Item
• Does the deduction theorem fail for modal logic?
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
• Realization for justification logics via nested sequents: modularity through embedding
• Modal interpolation via nested sequents
• Realizations and LP
• The logic of proofs, semantically
• Deep sequent systems for modal logic
• Self-referential justifications in epistemic logic
• First-order modal logic
• Nested sequents for intuitionistic logics
• Realizing public announcements by justifications
• Making knowledge explicit: how hard it is
• Explicit Provability and Constructive Semantics
• Realization using the model existence theorem
• On Nested Sequents for Constructive Modal Logics
• On Realization of -modality by Evidence Terms

This page was built for publication: Realization Theorems for Justification Logics: Full Modularity