Active Bibliography

2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
34 Labelled Propositional Modal Logics: Theory and Practice – David Basin, Seán Matthews, Luca Viganò - 1996
11 Natural Deduction for Non-Classical Logics – David Basin, Sean Matthews, Luca Vigano - 1996
14 Encoding Modal Logics in Logical Frameworks – Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano - 1997
3 A Topography Of Labelled Modal Logics – David Basin, An Matthews, Luca Vigan
10 A modular presentation of modal logics in a logical framework – D. Basin, S. Matthews, L. Viganò
Labelled Quantified Modal Logics – David Basin, Sean Matthews, Luca Vigano
15 Labelled Modal Logics: Quantifiers – David Basin, Seán Matthews, Luca Viganò - 1998
20 Tableaux and Algorithms for Propositional Dynamic Logic with Converse – Giuseppe De Giacomo, Fabio Massaci - 1996
2395 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
47 Reasoning Theories - Towards an Architecture for Open Mechanized Reasoning Systems – Fausto Giunchiglia, Paolo Pecchiari, Carolyn Talcott - 1994
1 K-Clusters Tableaux - A Tool for Modal Logics and Inconsistent Belief Sets – Fabio Massacci - 1994
2 A Bridge Between Modal Logics and Contextual Reasoning – Fabio Massacci - 1995
2 Kripke Semantics for a Logical Framework – Alex K. Simpson - 1993
2 Implementing Modal and Relevance Logics in a Logical Framework – David Basin, Im Stadtwald - 1996
5 Ordinals and Interactive Programs – Peter Hancock - 2000
4 Temporal Logic, Automata, and Classical Theories -- An Introduction – Mads Dam - 1994
28 Mathematical Modal Logic: a View of its Evolution – Robert Goldblatt - 2001
1 Explicit Modal Logic – Sergei Artemov - 1998