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

566 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. 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  
  4.  5
    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  
  5.  59
    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.  46
    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   5 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.  65
    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  
  9.  18
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  10.  74
    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. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   215 citations  
  11.  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  
  12. Bob Hale & Aviv Hoffmann (eds.) (2013). 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  
  13.  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  
  14.  38
    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  
  15.  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  
  16.  49
    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  
  17.  83
    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.  91
    Kit Fine (1978). Model Theory for Modal Logic—Part II the Elimination of de Re Modality. Journal of Philosophical Logic 7 (1):277 - 306.
  19.  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  
  20.  18
    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.
  21.  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  
  22.  3
    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  
  23.  30
    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.  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  
  25.  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  
  26.  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  
  27.  10
    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  
  28.  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  
  29. A. A. Rini & M. J. Cresswell (2013). 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  
  30. 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  
  31. 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  
  32. A. Ahmed (2012). Modality: Metaphysics, Logic, and Epistemology, Bob Hale and Aviv Hoffmann (Eds). Mind 121 (483):817-822.
  33.  15
    Brian F. Chellas (1992). Time and Modality in the Logic of Agency. Studia Logica 51 (3-4):485 - 517.
    Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   19 citations  
  34.  13
    Leonard Linsky (1971). Reference and Modality. London,Oxford University Press.
    1. Reference and modality by W. V. O. Quine.--2. Modality and description by A. F. Smullyan.--3. Extensionality by R. B. Marcus.--4. Quantification into causal contexts by D. Føllesdal.--5. Semantical considerations on modal logic by S. A. Kripke.--6. Essentialism and quantified modal logic by T. Parsons.--7. Reference, essentialism, and modality by L. Linsky.--8. Quantifiers and propositional attitudes by W. V. O. Quine.--9. Quantifying in by D. Kaplan.--10. Semantics for propositional attitudes by J. Hintikka.--11. On Carnap's analysis of statements (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  35.  67
    Alastair Wilson (2011). Modality: Metaphysics, Logic and Epistemology. [REVIEW] Australasian Journal of Philosophy 89 (4):755 - 756.
  36.  26
    Rohan French (2014). The World-Time Parallel: Tense and Modality in Logic and Metaphysics, by by A. A. Rini and M. J. Cresswell. Australasian Journal of Philosophy 92 (4):802-805.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  37.  27
    Joseph Melia (2013). Comments on 'De Jure and De Facto Validity in the Logic of Time and Modality. Thought: A Journal of Philosophy 2 (2):206-209.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  38.  16
    Leo Abraham (1933). Implication, Modality and Intension in Symbolic Logic. The Monist 43 (1):119-153.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  34
    John P. Burgess (2010). Review of B. Hale and A. Hoffmann (Eds.), Modality: Metaphysics, Logic, and Epistemology. [REVIEW] Notre Dame Philosophical Reviews 2010 (10).
  40.  5
    Wiebe van der Hoeck (1997). Some Considerations on the Logics PFD A Logic Combining Modality and Probability. Journal of Applied Non-Classical Logics 7 (3):287-307.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41.  19
    Valentin Omelyantchik (1999). Aristotle's Extensional Modality: Hintikka's Intuitions, Lukasiewicz's Logic and Mignucci's Verdict. Theoria 14 (1):25-38.
    The paper discusses interpretations of Aristotle’s modal notions by modern commentators (J. Hintikka, J. Lukasiewiez, M. Mignucci). It is shown that the semantics of modal notions which the above mentioned authors attribute to Aristotle is based on the algebraic idea of multiplier.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  42. Danielle Macbeth (2007). Understanding the Goodness of Inference: Modality and Relevance in Fregeķs System of Logic. Soochow Journal of Philosophical Studies 16:133 - 151.
     
    Export citation  
     
    My bibliography  
  43.  9
    Lorenz Demey (2013). Adriane A. Rini and Max J. Cresswell, The World-Time Parallel. Tense and Modality in Logic and Metaphysics. Cambridge, Cambridge University Press, 2012. [REVIEW] Tijdschrift Voor Filosofie 75 (1):168-171.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  7
    Branching Space-Time & Modal Logic (2002). Email: Tmuel 1 Er@ F Dm. Uni-F Reiburg. De. In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer 273.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  45.  4
    Jan De Greef (1986). Georg Henrik von Wright, Practical Reason** _Georg Henrik von Wright, Philosophical Logic_** Georg Henrik von Wright, Truth, Knowledge, and Modality. Revue Philosophique De Louvain 84 (63):406-407.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46. Gary Ostertag (2000). Russell's Modal Logic? Review of Jan Dejnožka, Bertrand Russell on Modality and Logical Relevance. Russell: The Journal of Bertrand Russell Studies 20 (2):165-72.
    Translate
     
     
    Export citation  
     
    My bibliography  
  47.  2
    Katsuhiko Sano & Yasuo Nakayama (2007). Bimodal Logic with the Irreflxive Modality. Journal of the Japan Association for Philosophy of Science 34 (1):1-10.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48.  4
    Henry Bradford Smith (1934). Abstract Logic or the Science of Modality. Philosophy of Science 1 (4):369-397.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Edited & Introductions by Dagfill Føllesdal (2000). Logic, Modality, and Philosophy of Mathematics. In Dagfinn Føllesdal (ed.), Philosophy of Quine. Garland Pub.
  50. L. Harsing (1986). Outlines of a Logic of Relative Truth in Dynamics of Meaning and Modality. Logique Et Analyse 29 (114):137-148.
     
    Export citation  
     
    My bibliography  
1 — 50 / 566