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)

Review text

The author produces completeness proofs for certain weak modal logics discussed by \textit{J. Porte} [Logique Anal., Nouv. Sér. 23, 3-34 (1980; Zbl 0452.03015) and ibid. 24, 399-406 (1981; Zbl 0494.03010)]. These are extensions of S0.5 and make use of `semi-normal' worlds in which the falsity of LA implies the falsity of A in some accessible world, but the truth of LA does not imply the truth of A in all accessible worlds. The author shows that straightforward Henkin methods yield completeness results for the appropriate systems.

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

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

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)