Conjunctive normal forms and weak modal logics without the axiom of necessity

DOI10.1305/NDJFL/1093870574zbMATH Open0556.03015OpenAlexW2131285443WikidataQ114598292 ScholiaQ114598292MaRDI QIDQ761441FDOQ761441

Authors: Shigeo Ōhama 

Publication date: 1984

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870574

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
• 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

zbMATH Keywords

completenessconjunctive normal formL-tautologiesweak modal logics without the axiom of necessity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (7)

• Solutions for Porte's conjectures
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)