A Descending Chain of Incomplete Extensions of Implicational S 5
From MaRDI portal
Publication:3698776
DOI10.1002/malq.19850311303zbMath0577.03005OpenAlexW1981600097MaRDI QIDQ3698776
Publication date: 1985
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19850311303
modal logicincompletenesscharacteristic matrixaxiom systemsstrict implicational fragment C5 of S5strict implicational propositional logic
Related Items (1)
This page was built for publication: A Descending Chain of Incomplete Extensions of Implicational S 5