Author:
Baratella Stefano,Masini Andrea
Reference20 articles.
1. Natural deduction for non-classical logics;Basin;Stud. Logica,1998
2. On an intuitionistic modal logic;Bierman;Stud. Logica,2000
3. A modal analysis of staged computation;Davies;J. Assoc. Comput. Mach.,2001
4. Sequent-systems for modal logic;Došen;J. Symbolic Logic,1985
5. E.A. Emerson, Temporal and modal logic, in: J. van Leeuwen (Ed.), Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics, Elsevier, Amsterdam, 1990, pp. 995–1772.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献