|
2
|
Proof-search in type-theoretic languages: an introduction
– Didier Galmiche, David J. Pym
- 2000
|
|
33
|
Labelled Propositional Modal Logics: Theory and Practice
– David Basin, Seán Matthews, Luca Viganò
- 1996
|
|
10
|
Natural Deduction for Non-Classical Logics
– David Basin, Sean Matthews, Luca Vigano
- 1996
|
|
13
|
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
|
|
13
|
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
|
|
2028
|
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
|
|
19
|
Mathematical Modal Logic: a View of its Evolution
– Robert Goldblatt
- 2001
|
|
53
|
Propositional Lax Logic
– Matt Fairtlough, Michael Mendler
- 1997
|
