Solutions for Porte's conjectures

DOI10.2977/PRIMS/1195176248zbMATH Open0635.03012OpenAlexW2042835017WikidataQ123166582 ScholiaQ123166582MaRDI QIDQ1097255FDOQ1097255

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

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

zbMATH Keywords

completenesssemi-normal worldsweak modal logics

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Extensions of Makinson's Completeness Theorems in Modal Logic

Cited In (2)

• Title not available (Why is that?)
• 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)