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

Contents
16 found
Order:
  1. Outline of a Theory of Reasons.Vincenzo Crupi & Andrea Iacona - 2023 - Philosophical Quarterly 73 (1):117-142.
    This paper investigates the logic of reasons. Its aim is to provide an analysis of the sentences of the form ‘p is a reason for q’ that yields a coherent account of their logical properties. The idea that we will develop is that ‘p is a reason for q’ is acceptable just in case a suitably defined relation of incompatibility obtains between p and ¬q. As we will suggest, a theory of reasons based on this idea can solve three challenging (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2. The Logic of Responsibility Voids.Hein Duijf - 2022 - Springer Cham.
    This book focuses on the problem of responsibility voids: these are cases where responsibility for a morally undesirable outcome cannot be attributed to any of the involved agents. Responsibility voids are thought to occur in collective decision-making and in the context of artificial intelligent systems. In these cases, philosophers worry that there is a shortfall of moral responsibility. In particular, such voids are often assumed to justify a notion of collective responsibility that cannot be reduced to individual responsibility. One of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. The Logic of Sequence Frames.Fabio Lampert - 2022 - Review of Symbolic Logic 15 (1):101-132.
    This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Nested Sequents for Intuitionistic Modal Logics via Structural Refinement.Tim Lyon - 2021 - In Anupam Das & Sara Negri (eds.), Automated Reasoning with Analytic Tableaux and Related Methods: TABLEAUX 2021. 93413 Cham, Germany: pp. 409-427.
    We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. A critical assessment of Pollock’s work on logic-based argumentation with suppositions.Mathieu Beirlaen, Jesse Heyninck & Christian Straßer - 2018 - In Proceedings of the Nmr. pp. 63--72.
  6. Thoroughly Relativistic Perspectives.Mark Ressler - 2012 - Notre Dame Journal of Formal Logic 53 (1):89-112.
    This article formulates five relative systems to evaluate the charge of self-refutation with regard to global relativism. It is demonstrated that all five of these systems support models with at least one thoroughly relativistic perspective. However, when these systems are extended to include an operator expressing the valuation of statements in a perspective, only one relative system, based on a nonnormal modal logic, supports a thoroughly relativistic perspective.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. A General Semantic for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 227-246.
    In "An Alternative Semantics for Quantified Relevant Logic" (JSL 71 (2006)) we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complete semantics to the quantified extensions, both with and without the Barcan formula, of every proposi- tional modal logic S. If S is canonical our models are based on propositional frames that validate S. We employ frames in which not every set of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. Stanford: CSLI Publications. pp. 227-246.
    This paper uses an "admissible set semantics" to treat quantification in quantified modal logics. The truth condition for the universal quantifier states that a universally quantified statement (x)A(x) is true at a world w if and only if there is some proposition true at that world that entails every instance of A(x). It is shown that, for any canonical propositional modal logic the corresponding admissible set semantics characterises the quantified version of that modal logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  9. Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. 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 \emph{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 \emph{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  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Questions and Logical Analysis of Natural Language: The Case of Transparent Intensional Logic.Michal Peliš - 2004 - Logique and Analyse 185:217–226.
  11. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
    We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas 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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. 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   Direct download  
     
    Export citation  
     
    Bookmark  
  13. Languages of Possibility. [REVIEW]Mark Richard - 1994 - Philosophical Review 103 (1):139.
  14. Languages of Possibility. [REVIEW]Joseph Melia - 1990 - Philosophical Quarterly 40 (159):271.
  15. Modality and probability.Louis Osgood Kattsoff - 1937 - Philosophical Review 46 (1):78-85.
  16. Knowledge Arguments for Time 1 30 2023.Paul Merriam - manuscript
    In 1982 Jackson introduced the Knowledge Argument to elucidate the phenomenal, interior aspects of experience. In 1908 McTaggart defined two series that characterize one dimension of time, the A-series and the B-series. The A-series is usually thought to be phenomenal [Farr 2019], [Dainton 2018]. Thus there is the possibility of giving a Knowledge Argument for time [Merriam 2012, 2022a]. One (informal) statement of the classical Knowledge Argument might be “Mary knows all the facts about color qualia but lives in a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark