This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

2769 found
Order:
1 — 50 / 2769
Material to categorize
  1. Continuous Accessibility Modal Logics.Caleb Camrud & Ranpal Dosanjh - 2023 - Journal of Philosophical Logic 52 (1):221-266.
    In classical modal semantics, a binary accessibility relation connects worlds. In this paper, we present a uniform and systematic treatment of modal semantics with a continuous accessibility relation alongside the continuous accessibility modal logics that they model. We develop several such logics for a variety of philosophical applications. Our main conclusions are as follows. Modal logics with a continuous accessibility relation are sound and complete in their natural classes of models. The class of Kripke frames where a continuous accessibility relation (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Someone knows that local reasoning on hypergraphs is a weakly aggregative modal logic.Yanjing Wang, Jixin Liu & Yifeng Ding - 2023 - Synthese 201 (2):1-27.
    This paper connects the following four topics: a class of generalized graphs whose relations do not have fixed arities called hypergraphs, a family of non-normal modal logics rejecting the aggregative axiom, an epistemic framework fighting logical omniscience, and the classical group knowledge modality of ‘someone knows’. Through neighborhood frames as their meeting point, we show that, among many completeness results obtained in this paper, the limit of a family of weakly aggregative logics is both exactly the modal logic of hypergraphs (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Modal Companions of $$K4^{+}$$.Mikhail Svyatlovskiy - 2022 - Studia Logica 110 (5):1327–1347.
    We study modal companions of \(K4^+\), the strictly positive fragment of _K_4. We partially find the boundary between all normal extensions of _K_4 and modal companions of \(K4^+\) among them. We also show that there is no greatest modal companion of \(K4^+\).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. Thin Mereological Sums, Abstraction, and Interpretational Modalities.Giorgio Lando - forthcoming - Wiley: Theoria:1-18.
    Some tools introduced by Linnebo to show that mathematical entities are thin objects can also be applied to non-mathematical entities, which have been thought to be thin as well for a variety of reasons. In this paper, I discuss some difficulties and opportunities concerning the application of abstraction and interpretational modalities to mereological sums. In particular, I show that on one hand some prima facie attractive candidates for the role of an explanatory plural abstraction principle for mereological sums (in terms (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5. Integrating Abduction and Inference to the Best Explanation.Michael J. Shaffer - 2022 - European Journal of Pragmatism and American Philosophy 14 (2):1-18.
    Tomis Kapitan’s work on Peirce’s conception of abduction was instrumental for our coming to see how Peircean abduction both relates to and is importantly different from inference to the best explanation (IBE). However, he ultimately concluded that Peirce’s conception of abduction was a muddle. Despite the deeply problematic nature of Peirce’s theory of abduction in these respects, Kapitan’s work on Peircean abduction offers insight into the nature of abductive inquiry that is importantly relevant to the task of making sense of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. A chance for possibility: an investigation into the grounds of modality.Alexander Steinberg - 2013 - Boston: De Gruyter Ontos.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. Modality, essence and possible worlds.Indrani Sanyal - 2015 - Kolkata: Department of Philosophy, Jadavpur University and Suryodaya Books, New Delhi.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  9. The Logic of Hyperlogic. Part B: Extensions and Restrictions.Alexander W. Kocurek - forthcoming - Review of Symbolic Logic:1-28.
    This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. A critical introduction to the metaphysics of modality.Andrea Borghini - 2016 - London: Bloomsbury Academic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  11. Richard of Lavenham's analysis of the future contingency problem represented in terms of modern tempo-modal logic.Peter Øhrstrøm - 2018 - In Christoph Kann, Benedikt Löewe, Christian Rode & Sara Liana Uckelman (eds.), Modern views of medieval logic. Peeters.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  12. Jedność i wielkość logik modalnych.Marcin Tkaczyk (ed.) - 2019 - Lublin: Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Robert Kilwardby's science of logic: a thirteenth-century intensional logic.Paul Thom - 2019 - Boston: Brill.
    Paul Thom's book presents Kilwardby's science of logic as a body of demonstrative knowledge about inferences and their validity, about the semantics of non-modal and modal propositions, and about the logic of genus and species. This science is thoroughly intensional. It grounds the logic of inference on "that in virtue of which" the inference holds. It bases the truth conditions of propositions on relations between conceptual entities. It explains the logic of genus and species through the notion of essence. Thom (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  14. Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.Norihiro Kamide - forthcoming - Journal of Logic, Language and Information:1-46.
    Falsification-aware (hyper)sequent calculi and Kripke semantics for normal modal logics including S4 and S5 are introduced and investigated in this study. These calculi and semantics are constructed based on the idea of a falsification-aware framework for Nelson’s constructive three-valued logic. The cut-elimination and completeness theorems for the proposed calculi and semantics are proved.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Modal Companions of $$K4^{+}$$.Mikhail Svyatlovskiy - 2022 - Studia Logica 110 (5):1327-1347.
    We study modal companions of $$K4^+$$, the strictly positive fragment of K4. We partially find the boundary between all normal extensions of K4 and modal companions of $$K4^+$$ among them. We also show that there is no greatest modal companion of $$K4^+$$.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. On Independent Axiomatizability of Quasi-Normal Modal Logics.Igor Gorbunov & Dmitry Shkatov - 2022 - Studia Logica 110 (5):1189-1217.
    We give a negative solution to the problem, posed by A. Chagrov and M. Zakharyaschev, of whether every quasi-normal propositional modal logic can be axiomatized by an independent set of axioms, with the inference rules of Substitution and Modus Ponens.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Kripke on modality.John Burgess - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  18. Quine on modality.Roberta Ballarin - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  19. Kant on real possibility.Nick Stang - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  20. Hume on modality.Peter Millican - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
  21. Modality in Descartes's philosophy.Alan Nelson - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  22. Modality in medieval philosophy.Stephen Read - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  23. Ancient Greek modal logic.Robin Smith - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  24. Modality and the plurality of logics.Otávio Bueno - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. The logic of metaphysical modality.Bob Hale - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  26. Modality in mathematics.Øystein Linnebo & Stewart Shapiro - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  27. Physical and metaphysical modality.Ned Hall - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  28. Natural kinds and modality.Alexander Bird - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Laws of nature, natural necessity, and counterfactual conditionals.Marc Lange - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
  30. Modality and scientific structuralism.Steven French - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. Modality and a priori knowledge.Albert Casullo - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  32. Intuition and modality : a disjunctive-social account of intuition-based justification in the epistemology of modality.Anand Vaidya - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  33. Counterfactual-based approach.Tim Williamson - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  34. Epistemology, the constitutive, and the principle-based account of modality.Christopher Peacocke - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. The integration challenge.Sonia Roca-Royes - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  36. Modal conventionalism.Ross Cameron - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
  37. Norms and modality.Amie Thomasson - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Modal anti-realism.John Divers - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  39. Modalism.Scott A. Shalkowski - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  40. Ontological dependence, grounding, and modality.Fabrice Correia - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  41. De re modality.Boris Kment - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. Essentialism and modality.Penelope Mackie - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  43. Origins of logical space.Brian Leftow - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. Counterfactual conditionals.Dorothy Edgington - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  45. Actualism.Karen Bennett - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  46. Introduction. Modal matters : philosophical significance.Otávio Bueno & Scott A. Shalkowski - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. Possible worlds.Michael De - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. Routledge.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  48. The Modal Logic of Potential Infinity: Branching Versus Convergent Possibilities.Ethan Brauer - 2022 - Erkenntnis 87 (5):2161-2179.
    Modal logic provides an elegant way to understand the notion of potential infinity. This raises the question of what the right modal logic is for reasoning about potential infinity. In this article I identify a choice point in determining the right modal logic: Can a potentially infinite collection ever be expanded in two mutually incompatible ways? If not, then the possible expansions are convergent; if so, then the possible expansions are branching. When possible expansions are convergent, the right modal logic (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Some Stable Non-Elementary Classes of Modules.Marcos Mazari-Armida - 2021 - Journal of Symbolic Logic:1-25.
    Fisher [10] and Baur [6] showed independently in the seventies that if T is a complete first-order theory extending the theory of modules, then the class of models of T with pure embeddings is stable. In [25, 2.12], it is asked if the same is true for any abstract elementary class $(K, \leq _p)$ such that K is a class of modules and $\leq _p$ is the pure submodule relation. In this paper we give some instances where this is true: (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
    The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 2769