Author:
Basin David,Matthews Seán,Viganò Luca
Publisher
Springer Science and Business Media LLC
Subject
Linguistics and Language,Philosophy,Computer Science (miscellaneous)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Spatial Logic with Time and Quantifiers;Lecture Notes in Computer Science;2024
2. Teaching Intuitionistic and Classical Propositional Logic Using Isabelle;Electronic Proceedings in Theoretical Computer Science;2022-02-08
3. Duration Calculus;Logics of Specification Languages;2007-12-05
4. Mechanizing common knowledge logic using COQ;Annals of Mathematics and Artificial Intelligence;2007-03-07
5. Model Checking Quantified Computation Tree Logic;CONCUR 2006 – Concurrency Theory;2006