Propositional Lax Logic (1997)

Cached

Download Links

by Matt Fairtlough , Michael Mendler
Citations:61 - 8 self

Active Bibliography

24 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
100 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
849 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
459 Comprehending Monads – Philip Wadler - 1992
3 Almost duplication-free tableau calculi for propositional Lax logics – Alessandro Avellone, Mauro Ferrari - 1996