Documents Related by Co-Citation

271 Proof Methods for Modal and Intuitionistic Logics, volume 169 of Synthese Library – M Fitting - 1983
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
225 Natural Deduction, A Proof-Theoretical Study. Almqvist and Wiskell – Dag Prawitz - 1965
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
262 Investigations into logical deduction – G Gentzen - 1969
98 Simple Consequence Relations – Arnon Avron - 1991
126 Idea and result in proof theory – D Prawitz - 1971
54 Computational types from a logical perspective – P. N. Benton, G. M. Bierman, V. C. V. De Paiva - 1998
30 A framework for intuitionistic modal logic – G Plotkin, C Stirling - 1986
21 Modal logic as a basis for distributed computation – Jonathan Moody - 2003
730 Notions of Computation and Monads – Eugenio Moggi - 1991
43 Isabelle: A Generic Theorem Prover. LNCS 828 – L C Paulson - 1994
167 Modal Correspondence Theory – J van Benthem - 1976
218 Mathematical logic – J Shoenfield - 1967
28 A Computational Interpretation of Modal Proofs – Simone Martini, Andrea Masini - 1994
712 A new introduction to modal logic – G E Hughes, M J Cresswell - 1996
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
148 Modal Logic – B Chellas - 1980
5 Semantics for a class of intuitionistic modal calculi – G Fischer-Servi - 1980