Realization theorems for justification logics: full modularity

DOI10.1007/978-3-319-24312-2_16MaRDI QIDQ3455773zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Realization for justification logics via nested sequents: modularity through embedding
• Modal logics, justification logics, and realization
• A syntactic realization theorem for justification logics
• What are justification logics?
• Quasi-realization

Cites work

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

Cited in

(7)

• A syntactic realization theorem for justification logics
• Labeled sequent calculus for justification logics
• scientific article; zbMATH DE number 7585725 (Why is no real title available?)
• Gödel justification logics and realization
• Realization for justification logics via nested sequents: modularity through embedding
• The realization theorem for S5 a simple, constructive proof
• Generalised modal realisation as a practical and efficient tool for FWL implementation

This page was built for publication: Realization theorems for justification logics: full modularity

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