View topic on PhilPapers for more information
Related categories

97 found
Order:
More results on PhilPapers
1 — 50 / 97
  1. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. added 2019-06-05
    We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2019-06-05
    Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - forthcoming - Journal of Philosophical Logic.
    ABSTRACT: Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2019-04-21
    Ibn Sina’s Anticipation of Burdian and Barcan Formulas.Zia Movahed - manuscript
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2019-04-21
    Review Ibn-Sina’s Anticipation of the Formulas of Buridan and Barcan. [REVIEW]Irving H. Anellis - 2008 - The Review of Modern Logic 1: 73–86.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2019-03-24
    Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. added 2019-03-22
    Modal Validity and the Dispensability of the Actuality Operator.Vittorio Morato - 2014 - In Michal Dancak & Vit Punochar (eds.), The Logica Yearbook 2013. London, UK:
    In this paper, I claim that two ways of defining validity for modal languages (“real-world” and “general” validity), corresponding to distinction between a correct and an incorrect way of defining modal valid- ity, correspond instead to two substantive ways of conceiving modal truth. At the same time, I claim that the major logical manifestation of the real- world/general validity distinction in modal propositional languages with the actuality operator should not be taken seriously, but simply as a by-product of the way (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  8. added 2019-03-09
    Espace logique et modalités chez Wittgenstein.Fabien Schang - 2014 - AL-Mukhatabat 9:230-242.
    L'article s'intéresse aux obstacles épistémologiques qui empêchèrent Wittgenstein d'admettre l'idée moderne de logique modale et, en particulier, les logiques d'attitudes propositionnelles. Tout en proposant un aperçu rétrospectif de la logique des modalités épistémiques, nous verrons que ces obstacles reposent avant tout sur la nature de l'espace logique présenté dans le Tractatus Logico-Philosophicus et le statut métaphysique du sujet. Des passages éclairants seront rappelés pour justi.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. added 2019-03-09
    Philosophie des modalités épistémiques (la logique assertorique revisitée).Fabien Schang - 2007 - Dissertation, Nancy Université
    The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  10. 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   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2019-03-01
    Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - forthcoming - Noûs.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2019-02-16
    Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  13. added 2019-02-09
    Disappearing Diamonds: Fitch-Like Results in Bimodal Logic.Weng Kin San - forthcoming - Journal of Philosophical Logic:1-14.
    Augment the propositional language with two modal operators: □ and ■. Define \ to be the dual of ■, i.e. \. Whenever is of the form φ → ψ, let ) be \. ) can be thought of as the modally qualified counterpart of —for instance, under the metaphysical interpretation of \, where says φ implies ψ, ) says φ implies possiblyψ. This paper shows that for various interesting instances of, fairly weak assumptions suffice for ) to imply —so, the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2019-01-20
    Suhrawardi's Modal Syllogisms.Zia Movahed - 2012 - Sophia Perennis 21:5-17.
    Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositions and a number of controversial metaphysical theses, and also by confining his theory to alethic modality, Suhrawardi makes (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2019-01-06
    De Re and De Dicto Modality in Islamic Traditional Logic.Zia Movahed - 2010 - Sophia Perennis 2:5-14.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2018-12-13
    Autologos. Ein Dialog über die Fundamentallogik.Gregor Damschen - 2015 - In Gregor Damschen & Alejandro G. Vigo (eds.), Dialog und Verstehen. Klassische und moderne Perspektiven. Berlin: Lit. pp. 229–244.
    Autologos. A dialogue on fundamental logic. - In this dialogue of three dialogue partners, an attempt is made to prove the logical prerequisites of any meaningful dialogue by using transcendental arguments. Among these inescapable logical premises are a semantics as strong as that of modal logic S5, and an epistemic anti-realism.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  18. added 2018-09-21
    Necessity, a Leibnizian Thesis, and a Dialogical Semantics.Mohammad Shafiei - 2017 - South American Journal of Logic 3 (1):1-23.
    In this paper, an interpretation of "necessity", inspired by a Leibnizian idea and based on the method of dialogical logic, is introduced. The semantic rules corresponding to such an account of necessity are developed, and then some peculiarities, and some potential advantages, of the introduced dialogical explanation, in comparison with the customary explanation offered by the possible worlds semantics, are briefly discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2018-09-18
    Negation on the Australian Plan.Franz Berto & Greg Restall - 2019 - Journal of Philosophical Logic 1:1-26.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2018-09-06
    Modal Predicates.Andrea Iacona - 2004 - Australasian Journal of Logic 2:44-69.
    Despite the wide acceptance of standard modal logic, there has always been a temptation to think that ordinary modal discourse may be correctly analyzed and adequately represented in terms of predicates rather than in terms of operators. The aim of the formal model outlined in this paper is to capture what I take to be the only plausible sense in which ‘possible’ and ‘necessary’ can be treated as predicates. The model is built by enriching the language of standard modal logic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. added 2018-08-17
    Diamonds Are Forever.Cian Dorr & Jeremy Goodman - forthcoming - Noûs.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  22. added 2018-04-21
    The Basic Algebra of Game Equivalences.Valentin Goranko - 2003 - Studia Logica 75 (2):221-238.
    We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities. En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways game identities into modal formulae. The completeness proof is based on reduction of game terms to a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  23. 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   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. 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   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. added 2018-04-21
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   19 citations  
  26. added 2018-04-21
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  27. added 2018-04-21
    Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   46 citations  
  28. added 2018-04-21
    Proving Unprovability in Some Normal Modal Logics.Valentin Goranko - 1991 - Bulletin of the Section of Logic 20 (1):23-29.
    This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. 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   Download  
     
    Export citation  
     
    Bookmark  
  30. added 2018-04-20
    Optimal Decision Procedures for Satisfiability in Fragments of Alternating-Time Temporal Logics.Valentin Goranko & Steen Vester - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. College Publications. pp. 234-253.
    We consider several natural fragments of the alternating-time temporal logics ATL* and ATL with restrictions on the nesting between temporal operators and strategic quantifiers. We develop optimal decision procedures for satisfiability in these fragments, showing that they have much lower complexities than the full languages. In particular, we prove that the satisfiability problem for state formulae in the full `strategically flat' fragment of ATL* is PSPACE-complete, whereas the satisfiability problems in the flat fragments of ATL and ATL$^{+}$ are $\Sigma^P_3$-complete. We (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. 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   Download  
     
    Export citation  
     
    Bookmark   19 citations  
  34. 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   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. 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   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. added 2018-04-20
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  37. added 2018-04-20
    Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
    A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. added 2018-04-04
    Introduzione alle logiche modali.Marcello Frixione, Samuele Iaquinto & Massimiliano Vignolo - 2016 - Roma-Bari: Laterza.
    La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. added 2018-03-23
    The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.
    I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  40. added 2018-02-26
    Modal Epistemology.Juhani Yli-Vakkuri & John Hawthorne - manuscript
    Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. added 2018-02-19
    How Gödelian Ontological Arguments Fail.Matthew Parker - manuscript
    Ontological arguments like those of Gödel (1995) and Pruss (2009; 2012) rely on premises that initially seem plausible, but on closer scrutiny are not. The premises have modal import that is required for the arguments but is not immediately grasped on inspection, and which ultimately undermines the simpler logical intuitions that make the premises seem plausible. Furthermore, the notion of necessity that they involve goes unspecified, and yet must go beyond standard varieties of logical necessity. This leaves us little reason (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  42. added 2018-02-17
    Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. 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   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. added 2017-12-05
    Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities.Susanne Bobzien - 2017 - In Bradley Armour-Garb (ed.), Reflections on the Liar. Oxford University. pp. 71-113.
    ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  45. added 2017-10-06
    La Connaissance Commune: Une Sémantique Pour la Logique Modale.L. Lismont & P. Mongin - 1993 - Logique Et Analyse 133 (134):133-149.
    This French paper is a prelimary report on the authors' work on the logics of common knowledge and common belief. See L. Lismont and P. Mongin, "On the logic of common belief and common knowledge", Theory and Decision 37 (1): 75-106. 1994 for a more complete report.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  46. added 2017-08-28
    The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  47. added 2017-07-15
    Modal Logic S4 as a Paraconsistent Logic with a Topological Semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  48. added 2017-06-09
    Natural Deduction for Diagonal Operators.Fabio Lampert - 2017 - In Maria Zack & Dirk Schlimm (eds.), Research in History and Philosophy of Mathematics: The CSHPM 2016 Annual Meeting in Calgary, Alberta. Cham: Birkhäuser. pp. 39-51.
    We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  49. added 2017-03-29
    Harmony and Modality.Read Stephen - 2008 - In C. Dégremont, L. Kieff & H. Rückert (eds.), Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. London: College Publications. pp. 285-303.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. added 2017-03-08
    Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 97