|
15
|
Categorical and Kripke Semantics for Constructive S4 Modal Logic
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
7
|
Categorical and Kripke Semantics for Constructive Modal Logics
– Natasha Alechina, Michael Mendler, Valeria De Paiva, Eike Ritter
- 2001
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
3
|
Almost duplication-free tableau calculi for propositional Lax logics
– Alessandro Avellone, Mauro Ferrari
- 1996
|
|
9
|
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
– Gianluigi Bellin, Valeria de Paiva, Eike Ritter
- 2001
|
|
1
|
On the Logical Content of Computational Type Theory: A Solution to Curry's Problem
– Matt Fairtlough, Michael Mendler
- 2002
|
|
|
Towards Constructive Decision . . .
– Michael Mendler, Stephan Scheele
- 2009
|
|
4
|
Proof Search in Lax Logic
– Jacob M. Howe
- 2000
|
|
|
Inquisitive Semantics and Intermediate Logics. MSc Thesis (Afstudeerscriptie)
– Ivano A. Ciardelli
- 2009
|
|
2
|
MSc in Logic
– Ivano A. Ciardelli
- 2009
|
|
12
|
First-order Lax Logic as a Framework for Constraint Logic Programming
– Matt Fairtlough , Michael Mendler, Matt Walton
- 1997
|
|
3
|
Characterising Combinational Timing Analyses in Intuitionistic Modal Logic
– M. Mendler
- 2000
|
|
5
|
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits
– Michael Mendler
- 1996
|
|
8
|
Topological duality for intuitionistic modal algebras
– Barnaby P. Hilken
- 2000
|
|
1
|
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics ⋆
– J. M. Davoren
|
|
3
|
A monadic formalization of ML5
– Daniel R. Licata, Robert Harper
- 2010
|
|
14
|
On an Intuitionistic Modal Logic
– G M Bierman, V C V de Paiva
- 2001
|
|
9
|
A Uniform Tableau Method for Intuitionistic Modal Logics I
– Giambattista Amati, Fiora Pirri
- 1993
|
|
3
|
Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics
– Natasha Alechina, Valeria de Paiva, Eike Ritter
- 1998
|
