| IMLA 2002 |
|
Intuitionistic Modal Logic and Applications |
Accepted Papers:
| Steve Awodey and Andrej Bauer | Propositions as [Types] |
| Gianluigi Bellin | Towards a Formal Pragmatics: An Intuitonstic Theory of Assertive and Conjectural Judgements with an Extension of Godel, McKinsey and Tarski's S4 Translation |
| Olivier Brunet | A Modal Logic for Observation-based Knowledge Representation |
| J. Davoren, V. Coulthard, T. Moor, R. P. Gore, A. Nerode | Topological Semantics for Inuitionistic Modal Logics and Spatial Discretisation by A/D Maps |
| Claudio Hermida | A Categorical Outlook on Relational Modalities and Simulations |
| IMLA |
| MISCELLANEOUS |