Author:
BENEVIDES MARIO R. F.,MAIBAUM THOMAS S. E.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Geometric Modal Logic;Notre Dame Journal of Formal Logic;2023-08-01
2. Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence;Electronic Notes in Theoretical Computer Science;2020-03
3. Axiomatic and dual systems for constructive necessity, a formally verified equivalence;Journal of Applied Non-Classical Logics;2019-07-03
4. Editorial;Journal of Logic and Computation;2004-08-01
5. A Way of Making World Quantification Explicit;Logic Journal of IGPL;2004-05-01