The proof theory and semantics of intuitionistic modal logic
暂无分享,去创建一个
[1] Furio Honsell,et al. A framework for defining logics , 1993, JACM.
[2] Gisèle Fischer-Servi. The finite model property for ${\bf MIPQ}$ and some consequences. , 1978 .
[3] Gordon D. Plotkin,et al. A Framework for Intuitionistic Modal Logics , 1988, TARK.
[4] Duminda Wijesekera,et al. Constructive Modal Logics I , 1990, Ann. Pure Appl. Log..
[5] Jan Willem Klop,et al. Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond , 1990, ICALP.
[6] Josep Maria Font,et al. A first approach to abstract modal logics , 1989, Journal of Symbolic Logic.
[7] Steven J. Vickers,et al. Geometric Logic in Computer Science , 1993, Theory and Formal Methods.
[8] Andrea Masini,et al. 2-Sequent Calculus: Intuitionism and Natural Deduction , 1993, J. Log. Comput..
[9] F. B. Fitch. Symbolic Logic, An Introduction , 1953 .
[10] David F. Siemens. Fitch-style rules for many modal logics , 1977, Notre Dame J. Formal Log..
[11] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .
[12] A. Troelstra. Constructivism in mathematics , 1988 .
[13] A. Pitts. INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7) , 1987 .
[14] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[15] M. Hennessy,et al. Finite conjunctive nondeterminism , 1987 .
[16] R. L. Goodstein,et al. Provability in logic , 1959 .
[17] H. Ono. On Some Intuitionistic Modal Logics , 1977 .
[18] Colin Stirling,et al. Modal Logics for Communicating Systems , 1987, Theor. Comput. Sci..
[19] D. Gabbay. Decidability results in non-classical logics: Part I , 1975 .
[20] G. Sundholm. Proof Theory and Meaning , 1986 .
[21] R. Solovay. Provability interpretations of modal logic , 1976 .
[22] Jaakko Hintikka,et al. Time And Modality , 1958 .
[23] J. Armstrong. Knowledge and Belief , 1953 .
[24] R. A. Bull. Some Modal Calculi Based On IC , 1965 .
[25] Gisèle Fischer Servi,et al. The finite model property for MIPQ and some consequences , 1978, Notre Dame J. Formal Log..
[26] R. A. Bull. A modal extension of intuitionist logic , 1965, Notre Dame J. Formal Log..
[27] Anil Nerode,et al. Some Lectures on Modal Logic , 1991 .
[28] Saul A. Kripke,et al. Naming and Necessity , 1980 .
[29] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .
[30] R. A. Bull,et al. Basic Modal Logic , 1984 .
[31] Robin Milner,et al. Algebraic laws for nondeterminism and concurrency , 1985, JACM.
[32] Michael Dummett,et al. The logical basis of metaphysics , 1991 .
[33] Kosta Dosen,et al. Models for stronger normal intuitionistic modal logics , 1985, Stud Logica.
[34] Joseph R. Shoenfield,et al. Mathematical logic , 1967 .
[35] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[36] On intuitionistic modal epistemic logic , 1992 .
[37] Gisèle Fischer Servi. On modal logic with an intuitionistic base , 1977 .
[38] Mario R. F. Benevides,et al. A Constructive Presentation for the Modal Connective of Necessity (\Box) , 1992, J. Log. Comput..
[39] Bangs L. Tapscott. A simplified natural deduction approach to certain modal systems , 1987, Notre Dame J. Formal Log..
[40] Yokota Shinichi. General Characterization Results on Intuitionistic Modal Propositional Logics , 1985 .
[41] D. Prawitz. Ideas and Results in Proof Theory , 1971 .
[42] J. Benthem. Some kinds of modal completeness , 1980 .
[43] Josep Maria Font,et al. Modality and possibility in some intuitionistic modal logics , 1986, Notre Dame J. Formal Log..
[44] Shin'ichi Yokota. Modal Heyting Algebras with Comodal Operator , 1986 .
[45] K. Dosen,et al. Models for normal intuitionistic modal logics , 1984 .
[46] Jaakko Hintikka,et al. Knowledge and Belief: An Introduction to the Logic of the Two Notions. , 1965 .
[47] Saul A. Kripke,et al. Semantical Analysis of Intuitionistic Logic I , 1965 .
[48] Arnon Avron. Gentzenizing Schroeder-Heister's Natural Extension of Natural Deduction , 1990, Notre Dame J. Formal Log..
[49] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[50] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[51] Michael Mendler,et al. Constrained Proofs: A Logic for Dealing with Behavioural Constraints in Formal Hardware Verification , 1991 .
[52] Yokota Shin'ichi. Some Intuitionistic Versions of the Modal Propositional Logic K(S) , 1986 .
[53] J. Girard,et al. Proofs and types , 1989 .
[54] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[55] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[56] Richard Spencer-Smith,et al. Modal Logic , 2007 .
[57] Per Martin-Löf,et al. Constructive mathematics and computer programming , 1984 .
[58] Roy Dyckhoff,et al. Contraction-free sequent calculi for intuitionistic logic , 1992, Journal of Symbolic Logic.
[59] Colin Stirling,et al. Modal and temporal logics , 1993, LICS 1993.
[60] Ian P. Gent. Analytic proof systems for classical and modal logics of restricted quantification , 1993 .
[61] Arnon Avron,et al. Simple Consequence Relations , 1988, Inf. Comput..
[62] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[63] D. Gabbay. MODEL THEORY FOR TENSE LOGICS , 1975 .
[64] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[65] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[66] W. B. Ewald,et al. Intuitionistic tense and modal logic , 1986, Journal of Symbolic Logic.
[67] R. A. Bull. MIPC as the Formalisation of an Intuitionist Concept of Modality , 1966, J. Symb. Log..
[68] H. B. Enderton,et al. Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic , 1972 .
[69] Lincoln A. Wallen,et al. Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics , 1990, MIT Press series in artificial intelligence.
[70] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[71] Gerhard Gentzen,et al. Investigations into Logical Deduction , 1970 .
[72] Rajeev Goré,et al. Cut-free sequent and tableau systems for propositional Diodorean modal logics , 1994, Stud Logica.
[73] R. Labrecque. The Correspondence Theory , 1978 .
[74] Melvin Fitting. Tableau methods of proof for modal logics , 1972, Notre Dame J. Formal Log..
[75] Gisèle Fischer Servi,et al. Semantics for a Class of Intuitionistic Modal Calculi , 1980 .