Conjunctive normal forms and weak modal logics without the axiom of necessity
From MaRDI portal
(Redirected from Publication:761441)
Recommendations
- Non-normal modal logics and conditional logics: semantic analysis and proof theory
- scientific article; zbMATH DE number 475184
- scientific article; zbMATH DE number 3966022
- Axiomatising logics with separating conjunction and modalities
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity
- scientific article; zbMATH DE number 4202236
- Conditional logics of normality: A modal approach
- Intuitionistic non-normal modal logics: a general framework
- On independent axiomatizability of quasi-normal modal logics
- Normal modal substructural logics with strong negation
Cited in
(11)- Solutions for Porte's conjectures
- On the completeness of first degree weakly aggregative modal logics
- Expressive power and semantic completeness: Boolean connectives in modal logic
- scientific article; zbMATH DE number 3877149 (Why is no real title available?)
- Reductive techniques in proofs of the completeness theorems for the normal bimodal systems
- Normal form theorems for the modal logic system S5 and their application to knowledge-base theory
- scientific article; zbMATH DE number 3916226 (Why is no real title available?)
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). II
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
- scientific article; zbMATH DE number 4116497 (Why is no real title available?)
- Extensions of Makinson's Completeness Theorems in Modal Logic
This page was built for publication: Conjunctive normal forms and weak modal logics without the axiom of necessity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q761441)
