A modular presentation of modal logics in a logical framework

A modular presentation of modal logics in a logical framework

Cached

Download Links

by D. Basin , S. Matthews , L. Viganò

Citations:

BibTeX

@MISC{Basin_amodular,
    author = {D. Basin and S. Matthews and L. Viganò},
    title = {A modular presentation of modal logics in a logical framework},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

634	A framework for defining logics - Harper, Honsell, et al. - 1999
386	Isabelle: A generic theorem prover - Paulson - 1994
254	Proof Methods for Modal and Intuitionistic Logic - Fitting - 1983
195	Natural Deduction. A proof Theoretical Study, Almqvist - Prawitz - 1965
195	Mathematical Logic - Shoenfield - 1967
153	Correspondence Theory - Benthem - 1984
136	Modal Logic - Chellas - 1980
115	Ideas and results in proof theory - Prawitz - 1971
91	Simple Consequence relations - Avron - 1991
88	The proof theory and semantics of intuitionistic modal logic - Simpson - 1994
84	Automated deduction in nonclassical logic - Wallen - 1990
78	Using typed lambda calculus to implement formal systems on a machine - Avron, Honsell, et al. - 1992
42	Isabelle: A Generic Theorem Prover. LNCS 828 - Paulson - 1994
34	Translation methods for non-classical logics: an overview - Ohlbach - 1993
33	Labelled propositional modal logics: Theory and practic - Basin, Matthews, et al. - 1997
31	LDS – Labelled Deductive Systems, volume 1 — foundations - Gabbay - 1994
22	A framework for de ning logics - Harper, Honsell, et al. - 1993
17	Isabelle - A Generic Theorem Prover (with a contribution by T - Paulson - 1994
8	Modal logic: An Introduction. Cambridge university press - Chellas - 1980
7	A new type theory for representing logics - Gardner - 1993
6	Natural Deduction: A Proof-theoretical Study. Stockholm: Almquist and Wiksell - Prawitz - 1965
4	Modal Labelled Deductive Systems - Russo - 1995
3	A topography of labelled modal logics - Basin, Matthews, et al. - 1996
1	A Topography of Labelled Modal Logics. Submitted. Available at http://www.mpi-sb.mpg.de/��luca - Basin, Matthews, et al.
1	Modal logic. Cambridge Univ - Chellas - 1980