Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Solutions for Porte's conjectures

From MaRDI portal
Publication:1097255
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1097255&oldid=13129949"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 01:29.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki