Solutions for Porte's conjectures

DOI10.2977/PRIMS/1195176248zbMath0635.03012OpenAlexW2042835017WikidataQ123166582 ScholiaQ123166582MaRDI QIDQ1097255

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)

Cites Work

• Extensions of Makinson's Completeness Theorems in Modal Logic
• Unnamed Item

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