About this topic
Summary Several kinds of semantics for modal logic have been proposed, the most popular of which is Kripke semantics. (This is sometimes called possible worlds semantics, although the formal semantics doesn’t require us to think of the entities in its domain as possible worlds.) In Kripke semantics, models comprise a domain of entities, variously called pointssituationsscenarios or possible worlds, with one or more accessible relations between them. The truth-value of a sentence at a possible world w may depend on the truth-value of other sentences at worlds accessible from w. In modal logics, for example, ‘necessarily, A’ is true at a worldw iff A is true at all worlds u accessible from w, and ‘possibly, A’ is true at w iff A is true at some world u accessible from w. This approach can be applied to other kinds of modalities, including ‘agent a knows that’ in modal epistemic logics. One can also give algebraic, topological and categorical semantics for modal logics, in place of Kripke semantics. These approaches have intrinsic mathematical interest, but have received less attention in the philosophical literature (perhaps because they do not provide an analysis of modal concepts in the way that possible worlds semantics does).
Key works Possible worlds semantics was first presented as a formal semantics for modal logic in Kripke 1959, 1963 and for intuitionistic logic in Kripke 1963Carnap 1947 was an important precursor to possible worlds semantics. Hintikka 1962, 1967 develops the possible worlds semantics and applies it to epistemic concepts. van Benthem 1983 is the classic investigation of the relationship between accessibility relations in the semantics and modal axioms. Lewis 1968 develops counterpart theory in the context of (first-order) possible worlds semantics. Lewis 1986 argues for an extreme realist philosophical interpretation of the possible worlds semantics.
Introductions Girle 2003 and Girle 2000 are introductory textbooks on possible worlds and modal logic. Priest 2001 is a general introduction to propositional modal, intuitionistic and relevant logics. Cresswell & Hughes 1996 is a classic textbook in modal logic. Sider 2010 includes a good presentation of quantified first-order logic.
Related categories

266 found
Order:
1 — 50 / 266
  1. added 2020-03-24
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-03-24
    Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In Francesco Calimeri, Nicola Leone & Marco Manna (eds.), Logics in Artificial Intelligence. Springer International Publishing. pp. 803 - 819.
    We present cut-free labelled sequent calculi for a central formalism in logics of agency: STIT logics with temporal operators. These include sequent systems for Ldm , Tstit and Xstit. All calculi presented possess essential structural properties such as contraction- and cut-admissibility. The labelled calculi G3Ldm and G3Tstit are shown sound and complete relative to irreflexive temporal frames. Additionally, we extend current results by showing that also Xstit can be characterized through relational frames, omitting the use of BT+AC frames.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. added 2020-03-24
    A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. added 2020-03-24
    Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. added 2020-03-10
    A Note on Algebraic Semantics for $Mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. added 2020-02-22
    Analogical Truth-Conditions for Metaphors.Eric Steinhart - 1994 - Metaphor and Symbolic Activity 9 (3):161-178.
    It has often been said that metaphors are based on analogies, but the nature of this relation has never been made precise. This article rigorously and formally specifies two semantic relations that do obtain between some metaphors and analogies. We argue that analogies often provide conditions of meaningfulness and truth for metaphors. An analogy is treated as an isomorphism from a source to topic domain. Metaphors are thought of as surface structures. Formal analogical conditions of meaningfulness and truth are fully (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. added 2020-01-25
    Boxes and Diamonds. An Open Introduction to Modal Logic.Richard Zach - 2019
    A textbook for modal and other intensional logics based on the Open Logic Project. It covers normal modal logics, relational semantics, axiomatic and tableaux proof systems, intuitionistic logic, and counterfactual conditionals.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8. added 2020-01-03
    Vagueness & Modality—An Ecumenical Approach.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):229-269.
    How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9. added 2020-01-02
    The Logic of Imagination Acts: A Formal System for the Dynamics of Imaginary Worlds.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2019 - Erkenntnis:1-29.
    Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. added 2019-12-21
    A Note on the Issue of Cohesiveness in Canonical Models.Matteo Pascucci - forthcoming - Journal of Logic, Language and Information:1-18.
    In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames ‘non-cohesive’. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2019-12-12
    From Ideal Worlds to Ideality.Craig Warmke - forthcoming - Journal of the American Philosophical Association.
    In common treatments of deontic logic, the obligatory is what's true in all deontically ideal possible worlds. In this article, I offer a new semantics for Standard Deontic Logic with Leibnizian intensions rather than possible worlds. Even though the new semantics furnishes models that resemble Venn diagrams, the semantics captures the strong soundness and completeness of Standard Deontic Logic. Since, unlike possible worlds, many Leibnizian intensions are not maximally consistent entities, we can amend the semantics to invalidate the inference rule (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  12. added 2019-10-09
    Структурно-семантична організація лексико-семантичного мікрополя «повага» в сучасній українській мові.Kateryna Blyzniuk - 2017 - Language: Classic – Modern – Postmodern 3:132-139.
    У статті проаналізовано лексемний і семний склад мікрополя «повага», а також його системну організацію в українській мові. Компоненти значення, що функціонують у мікрополі, відбиваають семантику поваги, пошани щодо об’єкта почуття, яким для лексико-семантичного поля «патріотизм» виступають Батьківщина, власний народ, його закони, традиції, історія тощо.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. added 2019-10-08
    Лінгвальне віддзеркалення оцінного ставлення до опонента в контексті перейменувальної кампанії.Olha Kyryliuk - 2017 - Language: Classic – Modern – Postmodern 3:29-35.
    У статті йдеться про особливості мовного віддзеркалення взаємного ставлення учасників дискусії в умовах обговорення суспільно-політичної ситуації. У ході аналізу окреслено основні психологічні прийоми маніпуляцій суспільною думкою за допомогою мовних одиниць. Встановлено екстра- та інтралінгвальні чинники, що впливають на вибір того чи того номінатива.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2019-09-13
    Existential Import and Relations of Categorical and Modal Categorical Statements.Jiri Raclavsky - 2018 - Logic and Logical Philosophy 27 (3): 271-300.
    I examine the familiar quadruple of categorical statements “Every F is/is not G.”, “Some F is/is not G.” as well as the quadruple of their modal versions “Necessarily, every F is/is not G.”, “Possibly, some F is/is not G.”. I focus on their existential import and its impact on the resulting Squares of Opposition. Though my construal of existential import follows modern approach, I add some extra details which are enabled by framing my definition of existential import within expressively rich (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  15. added 2019-09-13
    Two Standard and Two Modal Squares of Opposition.Jiri Raclavsky - 2017 - In The Square of Opposition: A Cornerstone of Thought. 93413 Cham, Německo: pp. 119-142.
    In this study, we examine modern reading of the Square of Opposition by means of Tichý's Transparent intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between standard and modal readings of categorial statements. We thus get two basic versions of the Square, whereas the Modal Square has not been fully introduced in the contemporary debate yet. Some properties ascribed by mediaeval logicians to the Square require a shift from its Standard to Modal version. Not inevitably, (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. added 2019-09-03
    Epistemic Logic Without Closure.Stephan Leuenberger & Martin Smith - forthcoming - Synthese.
    All standard epistemic logics legitimate something akin to the principle of closure, according to which knowledge is closed under competent deductive inference. And yet the principle of closure, particularly in its multiple premise guise, has a somewhat ambivalent status within epistemology. One might think that serious concerns about closure point us away from epistemic logic altogether—away from the very idea that the knowledge relation could be fruitfully treated as a kind of modal operator. This, however, need not be so. The (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. added 2019-07-04
    Complete Additivity and Modal Incompleteness.Wesley H. Holliday & Tadeusz Litak - 2019 - Review of Symbolic Logic 12 (3):487-535.
    In this article, we tell a story about incompleteness in modal logic. The story weaves together an article of van Benthem, “Syntactic aspects of modal incompleteness theorems,” and a longstanding open question: whether every normal modal logic can be characterized by a class of completely additive modal algebras, or as we call them, ${\cal V}$-baos. Using a first-order reformulation of the property of complete additivity, we prove that the modal logic that starred in van Benthem’s article resolves the open question (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. added 2019-07-04
    A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
    In two of the earliest papers on extending modal logic with propositional quantifiers, R. A. Bull and K. Fine studied a modal logic S5Π extending S5 with axioms and rules for propositional quantification. Surprisingly, there seems to have been no proof in the literature of the completeness of S5Π with respect to its most natural algebraic semantics, with propositional quantifiers interpreted by meets and joins over all elements in a complete Boolean algebra. In this note, we give such a proof. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  19. added 2019-06-06
    Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. added 2019-06-06
    Actuality: Scott Soames and Keith Hossack: Actuality and Modal Rationalism.Keith Hossack - 2007 - Proceedings of the Aristotelian Society 107 (1pt3):433-456.
    No categories
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2019-06-06
    Peacocke’s Principle-Based Account of Modality: “Flexibility of Origins” Plus S4.Sonia Roca Royes - 2006 - Erkenntnis 65 (3):405-426.
    Due to the influence of Nathan Salmon's views, endorsement of the "flexibility of origins" thesis is often thought to carry a commitment to the denial of S4. This paper rejects the existence of this commitment and examines how Peacocke's theory of the modal may accommodate flexibility of origins without denying S4. One of the essential features of Peacocke's account is the identification of the Principles of Possibility, which include the Modal Extension Principle, and a set of Constitutive Principles. Regarding their (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. added 2019-06-06
    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]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317-317.
  23. added 2019-06-06
    Kripke's Axiomatization of S2.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13:379.
  24. added 2019-05-28
    Raymond M. Smullyan. A Generalization of Intuitionistic and Modal Logics. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Hugues Leblanc, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London1973, Pp. 274–293. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316.
  25. added 2019-03-08
    MacColl’s Modes of Modalities.Fabien Schang - 2011 - Philosophia Scientiae 15:149-188.
    Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a modal logic in the broad sense of the word, he did not give rise to a many-valued logic in the strict sense. Rather, his logic is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. added 2019-02-16
    Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
  27. added 2019-02-12
    Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2018-10-27
    The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2018-07-24
    Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. added 2018-05-10
    Partial Semantics for Quantified Modal Logic.Eric Johannesson - 2018 - Journal of Philosophical Logic 47 (6):1049-1060.
    When it comes to Kripke-style semantics for quantified modal logic, there’s a choice to be made concerning the interpretation of the quantifiers. The simple approach is to let quantifiers range over all possible objects, not just objects existing in the world of evaluation, and use a special predicate to make claims about existence. This is the constant domain approach. The more complicated approach is to assign a domain of objects to each world. This is the varying domain approach. Assuming that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. added 2018-04-21
    Dov Gabbay, Reactive Kripke Semantics. [REVIEW]Valentin Goranko - 2017 - Studia Logica 105 (2):431-437.
  32. added 2018-04-21
    Foreword to Special Issue on Logics for Multi-Agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
  33. added 2018-04-21
    From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34. added 2018-04-21
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. added 2018-04-21
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36. added 2018-04-20
    Strategic Commitment and Release in Logics for Multi-Agent Systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga - manuscript
    In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. added 2018-04-20
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38. added 2018-04-20
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39. added 2018-04-20
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  40. added 2018-04-20
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  41. added 2018-04-20
    Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. added 2018-04-20
    Modal Definability in Enriched Languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  43. added 2018-03-20
    Updating Data Semantics.Anthony S. Gillies - 2020 - Mind 129 (513):1-41.
    This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44. added 2018-03-09
    Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic.Kai F. Wehmeier & Helge Rückert - 2019 - Topoi 38 (2):361-377.
    We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. added 2018-03-09
    In the Mood.Kai Frederick Wehmeier - 2004 - Journal of Philosophical Logic 33 (6):607-630.
    The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  46. added 2018-02-17
    On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  47. added 2018-02-17
    Topics in the Philosophy of Possible Worlds.Daniel Nolan - 2002 - Routledge.
    This book discusses a range of important issues in current philosophical work on the nature of possible worlds. Areas investigated include the theories of the nature of possible worlds, general questions about metaphysical analysis and questions about the direction of dependence between what is necessary or possible and what could be.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  48. added 2018-02-17
    Modal Logic As Dialogical Logic.Patrick Blackburn - 2001 - Synthese 127 (1):57-93.
    The title reflects my conviction that, viewed semantically, modal logic is fundamentally dialogical: this conviction is based on the key role played by the notion of bisimulation in modal model theory. But this dialogical conception of modal logic does not seem to apply to modal proof theory, which is notoriously messy. Nonetheless, by making use of ideas which trace back to Arthur Prior I will show how to lift the dialogical conception to modal proof theory. I argue that this shift (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  49. added 2018-02-17
    Pietroski on Possible Worlds Semantics for Belief Sentences.Joe Lau - 1995 - Analysis 55 (4):295.
    Pietroski (1993) offers a semantics for belief sentences that is supposed to address the problem of equivalence. This paper argues that his proposal fails to solve the problem.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  50. added 2018-01-11
    A Purely Recombinatorial Puzzle.Fritz Peter - 2017 - Noûs 51 (3):547-564.
    A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 266