On modal logic of deductive closure

DOI10.1016/J.APAL.2005.11.002MaRDI QIDQ2498907zbMATH OpenOpenAlexFDO

Authors Pavel Naumov

Publication date 16 August 2006

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

zbMATH Keywords

modal logicdeductive closurelogic of provability

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3902629
• Abstract modal logics
• A modal logic for non-deterministic information systems
• On the closure properties of the class of full G-models of a deductive system
• scientific article; zbMATH DE number 4212005

Cites work

• scientific article; zbMATH DE number 3862427 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• Logic of proofs
• Logic of subtyping
• On modal logics of partial recursive functions
• Provability interpretations of modal logic
• The algebra of topology

Cited in

(11)

• Properties of saturation in monotonic neighbourhood models and some applications
• scientific article; zbMATH DE number 5640557 (Why is no real title available?)
• scientific article; zbMATH DE number 5295726 (Why is no real title available?)
• Substructural logics with a reflexive transitive closure modality
• Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space
• Clausal presentation of theories in deduction modulo
• Abstract modal logics
• A modal logic for non-deterministic information systems
• A new deduction system for deciding validity in modal logic K
• scientific article; zbMATH DE number 3902629 (Why is no real title available?)
• Deductive closure and epistemic context

This page was built for publication: On modal logic of deductive closure

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