- G. E. Hughes & M. J. Cresswell, A New Introduction to Modal Logic. [REVIEW]Paolo Crivelli & Timothy Williamson - 1998 - Philosophical Review 107 (3):471.details
|
|
A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.details
|
|
First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.details
|
|
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.details
|
|
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen - 1964 - American Philosophical Quarterly 1 (4):288 - 306.details
|
|
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details
|
|
Repairing the interpolation theorem in quantified modal logic.Carlos Areces, Patrick Blackburn & Maarten Marx - 2003 - Annals of Pure and Applied Logic 124 (1-3):287-299.details
|
|
Papers on time and tense.Arthur Norman Prior - 1968 - New York: Oxford University Press. Edited by Per F. V. Hasle.details
|
|
A. N. prior's rediscovery of tense logic.Peter Øhrstrøm & Per Hasle - 1993 - Erkenntnis 39 (1):23 - 50.details
|
|
Labelled modal logics: Quantifiers. [REVIEW]David Basin, Seán Matthews & Luca Viganò - 1998 - Journal of Logic, Language and Information 7 (3):237-263.details
|
|
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.details
|
|
[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.details
|
|
Free logics.Ermanno Bencivenga - 2002 - In D. M. Gabbay & F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd Edition. Kluwer Academic Publishers. pp. 147--196.details
|
|
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.details
|
|
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.details
|
|
Investigations into Logical Deduction.Gerhard Gentzen, M. E. Szabo & Paul Bernays - 1970 - Journal of Symbolic Logic 35 (1):144-145.details
|
|
Book Reviews. [REVIEW]Melvin Fitting & Richard Mendelsohn - 1998 - Studia Logica 68 (2):287-300.details
|
|
First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.details
|
|
Papers on time and tense.A. N. Prior - 1968 - Revue Philosophique de la France Et de l'Etranger 160:500-501.details
|
|
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.details
|
|