The completeness of $S1$ and some related systems.
-
Published:1972-10-01
Issue:4
Volume:13
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hyperintensional models for non-congruential modal logics;Logic Journal of the IGPL;2023-09-21
2. Non-Normal Super-Strict Implications;Electronic Proceedings in Theoretical Computer Science;2022-04-14
3. Algebraic semantics for a modal logic close to S1;Journal of Logic and Computation;2014-11-27
4. Logic;History of Philosophy in Australia and New Zealand;2014
5. Mathematical modal logic: A view of its evolution;Handbook of the History of Logic;2006