Search results for 'Modality (Logic' (try it on Scholar)

610 found
Order:
  1. A. N. Prior & Institute of Applied Logic (1954). The Interpretation of Two Systems of Modal Logic. Institute of Applied Logic.
     
    Export citation  
     
    My bibliography  
  2. Bob Hale & Aviv Hoffmann (eds.) (2010). Modality: Metaphysics, Logic, and Epistemology. Oxford University Press.
    The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. Between them, the papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  6
    Daisuke Kachi (2007). Partial Logic as a Logic of Extensional Alethic Modality. Journal of the Japan Association for Philosophy of Science 34 (2):61-70.
    In my paper 'Validity in Simple Partial Logic'(2002) I made comparison between several definitions of validity in Simple Partial Logic(SPL) and adopted two of them as most appropriate. In this paper, after elaborating more on these two definitions than in my previous paper and considering the characteristics of Partial Semantics, in which these definitions are given, I construct a tableau proof system and prove its soundness and completeness. Then, based on the characterization of Partial Semantics, I will show that we (...)
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4. Christopher Menzel (2015). Logic, Essence, and Modality Bob Hale. Necessary Beings: An Essay on Ontology, Modality, & the Relations Between Them. Oxford University Press, 2013. ISBN: 978-0-19-966262-3 ; 978-0-19-874803-8 ; 978-0-19-164834-2 . Pp. Ix + 298. [REVIEW] Philosophia Mathematica 23 (3):407-428.
    Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  5.  62
    Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
    In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  6.  50
    Stefan Wölfl (1999). Combinations of Tense and Modality for Predicate Logic. Journal of Philosophical Logic 28 (4):371-398.
    In recent years combinations of tense and modality have moved intothe focus of logical research. From a philosophical point of view, logical systems combining tense and modality are of interest because these logics have a wide field of application in original philosophical issues, for example in the theory of causation, of action, etc. But until now only methods yielding completeness results for propositional languages have been developed. In view of philosophical applications, analogous results with respect to languages of (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  7.  19
    A. D. Yashin (1999). Irreflexive Modality in the Intuitionistic Propositional Logic and Novikov Completeness. Journal of Philosophical Logic 28 (2):175-197.
    A. Kuznetsov considered a logic which extended intuitionistic propositional logic by adding a notion of 'irreflexive modality'. We describe an extension of Kuznetsov's logic having the following properties: (a) it is the unique maximal conservative (over intuitionistic propositional logic) extension of Kuznetsov's logic; (b) it determines a new unary logical connective w.r.t. Novikov's approach, i.e., there is no explicit expression within the system for the additional connective; (c) it is axiomatizable by means of one simple additional axiom scheme.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  8.  31
    Kristie Miller (2013). A. A. Rini and M. J. Cresswell, The World-Time Parallel. Tense and Modality in Logic and Metaphysics. Reviewed By. Philosophy in Review 33 (1):70-73.
    This book advertises itself as an exploration of the world-time parallel, that is, the parallel between the modal dimension, on the one hand, and the temporal dimension, on the other. It is that, and much more. As the authors point out, there is reasonable agreement that we can model times, through temporal logic, in ways that are analogous to those by which we model modality through the logic of possible worlds. But this formal parallel has almost universally been taken (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  66
    John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
    This article is oriented toward the use of modality in artificial intelligence (AI). An agent must reason about what it or other agents know, believe, want, intend or owe. Referentially opaque modalities are needed and must be formalized correctly. Unfortunately, modal logics seem too limited for many important purposes. This article contains examples of uses of modality for which modal logic seems inadequate.I have no proof that modal logic is inadequate, so I hope modal logicians will take the (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  10.  3
    O. Chateaubriand (2004). Logic and Modality: Reply to Frank Sautter. Manuscrito 27 (1):105-114.
    In §1 I examine the connections between my account of logical properties and Tarski’s account of logical notions. In §2 I briefly present some of my views on modality and the basis for my claim that there are intensional as well as extensional relations between properties. In §3 I compare my views on the nature of logic and of mathematics with Gödel’s views.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11. Bob Hale & Aviv Hoffmann (eds.) (2010). Modality: Metaphysics, Logic, and Epistemology. Oxford University Press Uk.
    The philosophy of modality investigates necessity and possibility, and related notions--are they objective features of mind-independent reality? If so, are they irreducible, or can modal facts be explained in other terms? This volume presents new work on modality by established leaders in the field and by up-and-coming philosophers. The papers address fundamental questions concerning realism and anti-realism about modality, the nature and basis of facts about what is possible and what is necessary, the nature of modal knowledge, (...)
     
    Export citation  
     
    My bibliography  
  12. Timothy Rosenkoetter (2003). Transcendental Logic and Modality in Kant's Theoretical and Practical Projects. Dissertation, The University of Chicago
    This project is in the first place an attempt to clarify what transcendental logic is and how Kant uses it in order to achieve his goals. I use two keys in unlocking transcendental logic: Kant's philosophy of mathematics and his account of modality. I argue that Kant's categorical separation of philosophical and mathematical cognition in his reflections on method is too sweeping and undifferentiated to account for his practice in transcendental logic. On the basis of an examination of what (...)
     
    Export citation  
     
    My bibliography  
  13.  78
    Brian F. Chellas (1980). Modal Logic: An Introduction. 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   215 citations  
  14.  21
    Stephan Leuenberger (2013). De Jure and De Facto Validity in the Logic of Time and Modality. Thought: A Journal of Philosophy 2 (2):196-205.
    What formulas are tense-logically valid depends on the structure of time, for example on whether it has a beginning. Logicians have investigated what formulas correspond to what physical hypotheses about time. Analogously, we can investigate what formulas of modal logic correspond to what metaphysical hypotheses about necessity. It is widely held that physical hypotheses about time may be contingent. If so, tense-logical validity may be contingent. In contrast, validity in modal logic is typically taken to be non-contingent, as reflected by (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  40
    M. J. Cresswell (2012). The World-Time Parallel: Tense and Modality in Logic and Metaphysics. Cambridge University Press.
    Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  6
    Leo Esakia (2004). Intuitionistic Logic and Modality Via Topology. Annals of Pure and Applied Logic 127 (1-3):155-170.
    In the pioneering article and two papers, written jointly with McKinsey, Tarski developed the so-called algebraic and topological frameworks for the Intuitionistic Logic and the Lewis modal system. In this paper, we present an outline of modern systems with a topological tinge. We consider topological interpretation of basic systems GL and G of the provability logic in terms of the Cantor derivative and the Hausdorff residue.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  17.  85
    Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarksi showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the "necessity" operation is modeled by taking the interior of an arbitrary subset of a topological space. in this paper the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography  
  18.  50
    Steve Awody & K. Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. Review of Symbolic Logic 1 (2):146-166.
    As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for (classical) propositional modal logic, in which the operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  95
    Kit Fine (1978). Model Theory for Modal Logic—Part II the Elimination of de Re Modality. Journal of Philosophical Logic 7 (1):277 - 306.
  20.  3
    Lennart Åqvist (2005). Combinations of Tense and Deontic Modality: On the R T Approach to Temporal Logic with Historical Necessity and Conditional Obligation. Journal of Applied Logic 3 (3-4):421-460.
  21.  1
    Leo Esakia & Revaz Grigolia (2008). Formulas of One Propositional Variable in Intuitionistic Logic with the Solovay Modality. Logic and Logical Philosophy 17 (1-2):111-127.
    A description of the free cyclic algebra over the variety of Solovay algebras, as well as over its pyramid locally finite subvarieties is given.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  22.  19
    Saul A. Kripke (1985). Review: Kit Fine, Model Theory for Modal Logic. Part I--The de Re/De Dicto Distinction; Kit Fine, Model Theory for Modal Logic--Part II. The Elimination of de Re Modality; Kit Fine, Model Theory for Modal Logic--Part III. Existence and Predication. [REVIEW] Journal of Symbolic Logic 50 (4):1083-1093.
  23.  34
    Bartosz Wieckowski, Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.
    This dissertation develops a substitutional semantics for first-order (modal) logic which, unlike truth-value semantics, allows a fine-grained analysis of the semantical behaviour of the terms and predicates from which atomic formulae are composed. Moreover, it proposes a nondenotational philosophical foundation for the semantics of substitutional quantified (modal) logic.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  24.  4
    John P. Burgess (2015). Modal Logic in the Modal Sense of Modality. [REVIEW] In Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter 51-72.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  10
    John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.
    This paper explores the modal interpretation of ?ukasiewicz's n -truth-values, his conditional and the puzzles they generate by exploring his suggestion that by ?necessity? he intends the concept used in traditional philosophy. Scalar adjectives form families with nested extensions over the left and right fields of an ordering relation described by an associated comparative adjective. Associated is a privative negation that reverses the ?rank? of a predicate within the field. If the scalar semantics is interpreted over a totally ordered domain (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  22
    James B. Freeman & Charles B. Daniels (1979). A Second-Order Relevance Logic with Modality. Studia Logica 38 (2):113 - 135.
    In this paper a system, RPF, of second-order relevance logic with S5 necessity is presented which contains a defined, notion of identity for propositions. A complete semantics is provided. It is shown that RPF allows for more than one necessary proposition. RPF contains primitive syntactic counterparts of the following semantic notions: (1) the reflexive, symmetrical, transitive binary alternativeness relation for S5 necessity, (2) the ternary Routley-Meyer alternativeness relation for implication, and (3) the Routley-Meyer notion of a prime intensional theory, as (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  27.  6
    Johan van Benthem (1999). Modality, Bisimulation and Interpolation in Infinitary Logic. Annals of Pure and Applied Logic 96 (1-3):29-41.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  28.  5
    Ci Lewis Against Russell (2012). Logic, Modality, and Metaphysics in Early Analytic Philosophy. In Lila Haaparanta & Heikki Koskinen (eds.), Categories of Being: Essays on Metaphysics and Logic. Oxford University Press, Usa
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  11
    John Bryant (1980). The Logic of Relative Modality and the Paradoxes of Deontic Logic. Notre Dame Journal of Formal Logic 21 (1):78-88.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  30.  2
    Hannes Leitgeb (2008). Towards a Logic 0f Type-Free Modality and Truth. In Costas Dimitracopoulos (ed.), Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. Cambridge University Press 28--68.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  31. A. Bayart (1967). Poliferno M. J.. Decision Algorithms for Some Functional Calculi with Modality. Logique Et Analyse, N.S. Vol. 4 , Pp. 138–153.Poliferno M. J.. Correction to a Paper on Modal Logic. Logique Et Analyse, N.S. Vol. 7 , Pp. 32–33. [REVIEW] Journal of Symbolic Logic 32 (2):244-245.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Jeff Blee, David Billington, Guido Governatori & Abdul Sattar (2011). Levels of Modality for BDI Logic. Journal of Applied Logic 9 (4):250-273.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Melvin Fitting (1977). Belnap Nuel D. Jr. Restricted Quantification and Conditional Assertion. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 48–75. [REVIEW] Journal of Symbolic Logic 42 (2):314.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Melvin Fitting (1977). Belnap Nuel D. Jr., and Grover Dorothy L.. Quantifying in and Out Of' Quotes. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 17–47.Grover Dorothy L.. Propositional Quantification and Quotation Contexts. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 101–110. [REVIEW] Journal of Symbolic Logic 42 (2):313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. Melvin Fitting (1977). Davidson Donald. In Defense of Convention T. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 76–86. [REVIEW] Journal of Symbolic Logic 42 (2):314.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. Melvin Fitting (1977). Dunn J. Michael. A Truth Value Semantics for Modal Logic. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 87–100. [REVIEW] Journal of Symbolic Logic 42 (2):314.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Melvin Fitting (1977). Hintikka Jaakko. Surface Semantics: Definition and its Motivation. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 128–147. [REVIEW] Journal of Symbolic Logic 42 (2):315.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Melvin Fitting (1977). Henkin Leon. Internal Semantics and Algebraic Logic. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 111–127. [REVIEW] Journal of Symbolic Logic 42 (2):315.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Melvin Fitting (1977). Leblanc Hugues. Semantic Deviations. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 1–16.Leblanc Hugues and Weaver George. Truth-Functionality and the Ramified Theory of Types. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 148–167. [REVIEW] Journal of Symbolic Logic 42 (2):313.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Melvin Fitting (1977). Meyer Robert K.. Intuitionism, Entailment, Negation. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 168–198. [REVIEW] Journal of Symbolic Logic 42 (2):315.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. Melvin Fitting (1977). Routley Richard and Meyer Robert K.. The Semantics of Entailment. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 199–243. [REVIEW] Journal of Symbolic Logic 42 (2):315-316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42. Melvin Fitting (1977). Scott Dana S.. Background to Formalization. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 244–273. [REVIEW] Journal of Symbolic Logic 42 (2):316.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  43. Melvin Fitting (1977). Thomason Richmond H.. Philosophy and Formal Semantics. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 294–307. [REVIEW] Journal of Symbolic Logic 42 (2):317.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44. Melvin Fitting (1977). Weaver George. Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Leblanc Hugues, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, Pp. 308–317. [REVIEW] Journal of Symbolic Logic 42 (2):317.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  45. Saul A. Kripke (1985). Fine Kit. Model Theory for Modal Logic. Part I—the de Re/de Dicto Distinction. Journal of Philosophical Logic, Vol. 7 , Pp. 125–156.Fine Kit. Model Theory for Modal Logic—Part II. The Elimination of de Re Modality. Journal of Philosophical Logic, Vol. 7 , Pp. 277–306.Fine Kit. Model Theory for Modal Logic—Part III. Existence and Predication. Journal of Philosophical Logic, Vol. 10 , Pp. 293–307. [REVIEW] Journal of Symbolic Logic 50 (4):1083-1093.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Steven T. Kuhn (1989). Bull Robert and Segerberg Krister. Basic Modal Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 1–88.Burgess John P.. Basic Tense Logic. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 89–133.Thomason Richmond H.. Combinations of Tense and Modality. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, Pp. 135–165.Van Benthem Johan. Correspondence Theory. Handbook of Philosophical Logic, Volume II, Extensions of Classical Logic, Edited by Gabbay D. And Guenthner F., Synthese Library, Vol. 165, D. R. [REVIEW] Journal of Symbolic Logic 54 (4):1472-1477.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Robert S. R. Myers & Dirk Pattinson (2010). Hybrid Logic with the Difference Modality for Generalisations of Graphs. Journal of Applied Logic 8 (4):441-458.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. A. A. Rini & M. J. Cresswell (2012). The World-Time Parallel: Tense and Modality in Logic and Metaphysics. Cambridge University Press.
    Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...)
    No categories
     
    Export citation  
     
    My bibliography  
  49. A. A. Rini & M. J. Cresswell (2012). The World-Time Parallel: Tense and Modality in Logic and Metaphysics. Cambridge University Press.
    Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every (...)
    No categories
     
    Export citation  
     
    My bibliography  
  50. G. H. von Wright (1973). Truth as Modality. A Contribution to the Logic of Sense and Nonsense. In Sören Halldén (ed.), Modality, Morality and Other Problems of Sense and Nonsense. Lund,Gleerup
    No categories
     
    Export citation  
     
    My bibliography  
1 — 50 / 610