Solutions for Porte's conjectures

DOI10.2977/PRIMS/1195176248MaRDI QIDQ1097255zbMATH OpenOpenAlexWikidataFDO

Authors Michiro Kondo

Publication date 1987

Published in Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2977/prims/1195176248

zbMATH Keywords

completenesssemi-normal worldsweak modal logics

Mathematics Subject Classification ID

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

Recommendations

• Publication:4731168
• Conjunctive normal forms and weak modal logics without the axiom of necessity
• Extensions of Makinson's Completeness Theorems in Modal Logic
• scientific article; zbMATH DE number 3845547
• scientific article; zbMATH DE number 4075023

Cites work

• scientific article; zbMATH DE number 3706415 (Why is no real title available?)
• Extensions of Makinson's Completeness Theorems in Modal Logic

Cited in

(2)

• scientific article; zbMATH DE number 3877149 (Why is no real title available?)
• An observation concerning Porte's rule in modal logic

This page was built for publication: Solutions for Porte's conjectures

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