Switch to: Citations

Add references

You must login to add references.
  1. Intuitionistic Modal Logic with Quantifiers.Frederic B. Fitch - 1950 - Journal of Symbolic Logic 14 (4):261-261.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
    Overview of fundamental work in deontic logic.
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  • Constructive modal logics I.Duminda Wijesekera - 1990 - Annals of Pure and Applied Logic 50 (3):271-301.
    We often have to draw conclusions about states of machines in computer science and about states of knowledge and belief in artificial intelligence based on partial information. Nerode suggested using constructive logic as the language to express such deductions and also suggested designing appropriate intuitionistic Kripke frames to express the partial information. Following this program, Nerode and Wijesekera developed syntax, semantics and completeness for a system of intuitionistic dynamic logic for proving properties of concurrent programs. Like all dynamics logics, this (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Label-free natural deduction systems for intuitionistic and classical modal logics.Didier Galmiche & Yakoub Salhi - 2010 - Journal of Applied Non-Classical Logics 20 (4):373-421.
    In this paper we study natural deduction for the intuitionistic and classical (normal) modal logics obtained from the combinations of the axioms T, B, 4 and 5. In this context we introduce a new multi-contextual structure, called T-sequent, that allows to design simple labelfree natural deduction systems for these logics. After proving that they are sound and complete we show that they satisfy the normalization property and consequently the subformula property in the intuitionistic case.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Admissibility of cut in congruent modal logics.Andrzej Indrzejczak - 2011 - Logic and Logical Philosophy 20 (3):189-203.
    We present a detailed proof of the admissibility of cut in sequent calculus for some congruent modal logics. The result was announced much earlier during the Trends in Logic Conference, Toruń 2006 and the proof for monotonic modal logics was provided already in Indrzejczak [5]. Also some tableau and natural deduction formalizations presented in Indrzejczak [6] and Indrzejczak [7] were based on this result but the proof itself was not published so far. In this paper we are going to fill (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Norm and Action: A Logical Enquiry.Georg Henrik von Wright - 1963 - New York, NY, USA: Routledge and Kegan Paul.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...)
    Download  
     
    Export citation  
     
    Bookmark   118 citations  
  • Universal grammar.Richard Montague - 1970 - Theoria 36 (3):373--398.
    Download  
     
    Export citation  
     
    Bookmark   321 citations  
  • (1 other version)Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • On modal logic with an intuitionistic base.Gisèle Fischer Servi - 1977 - Studia Logica 36:141.
    A definition of the concept of "Intuitionist Modal Analogue" is presented and motivated through the existence of a theorem preserving translation from MIPC to a bimodal S₄-S₅ calculus.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Sequent calculi and decision procedures for weak modal systems.René Lavendhomme & Thierry Lucas - 2000 - Studia Logica 66 (1):121-145.
    We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Obligation, Free Choice, and the Logic of Weakest Permissions.Albert J. J. Anglberger, Nobert Gratzl & Olivier Roy - 2015 - Review of Symbolic Logic 8 (4):807-827.
    We introduce a new understanding of deontic modals that we callobligations as weakest permissions. We argue for its philosophical plausibility, study its expressive power in neighborhood models, provide a complete Hilbert-style axiom system for it and show that it can be extended and applied to practical norms in decision and game theory.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Many-dimensional modal logics: theory and applications.Dov M. Gabbay (ed.) - 2003 - Boston: Elsevier North Holland.
    Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects. To study (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
    This is the first paper on constructive concurrent dynamic logic . For the first time, either for concurrent or sequential dynamic logic, we give a satisfactory treatment of what statements are forced to be true by partial information about the underlying computer. Dynamic logic was developed by Pratt [V. Pratt, Semantical considerations on Floyd–Hoare logic, in: 17th Annual IEEE Symp. on Found. Comp. Sci., New York, 1976, pp. 109–121, V. Pratt, Applications of modal logic to programming, Studia Logica 39 257–274] (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Advice on modal logic.D. Scott - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.
    Download  
     
    Export citation  
     
    Bookmark   110 citations  
  • Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
    A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...)
    Download  
     
    Export citation  
     
    Bookmark   436 citations  
  • (1 other version)Basic proof theory.A. S. Troelstra - 2000 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
    This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...)
    Download  
     
    Export citation  
     
    Bookmark   159 citations  
  • Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Norm and Action. A Logical Enquiry.Georg Henrik von Wright - 1965 - Philosophy 40 (151):77-78.
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  • Relational and neighborhood semantics for intuitionistic modal logic.Kensuke Kojima - 2012 - Reports on Mathematical Logic:87-113.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modular Sequent Calculi for Classical Modal Logics.David R. Gilbert & Paolo Maffezioli - 2015 - Studia Logica 103 (1):175-217.
    This paper develops sequent calculi for several classical modal logics. Utilizing a polymodal translation of the standard modal language, we are able to establish a base system for the minimal classical modal logic E from which we generate extensions in a modular manner. Our systems admit contraction and cut admissibility, and allow a systematic proof-search procedure of formal derivations.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)On an intuitionistic modal logic.G. M. Bierman & V. C. V. de Paiva - 2000 - Studia Logica 65 (3):383-416.
    In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Grothendieck Topology as Geometric Modality.Robert I. Goldblatt - 1981 - Mathematical Logic Quarterly 27 (31-35):495-529.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Knowledge means 'all', Belief means 'most'.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 41--53.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • Label-free Modular Systems for Classical and Intuitionistic Modal Logics.Sonia Marin & Lutz Straßburger - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 387-406.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Sequent calculi for monotonic modal logics.Andrzej Indrzejczak - 2005 - Bulletin of the Section of Logic 34 (3):151-164.
    Download  
     
    Export citation  
     
    Bookmark   7 citations