Switch to: References

Citations of:

Modal Logic for Open Minds -

Stanford, CA, USA: Center for the Study of Language and Inf (2010)

Add citations

You must login to add citations.
  1. Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.
    Our preferences determine how we act and think, but exactly what the mechanics are and how they work is a central cause of concern in many disciplines. This book uses techniques from modern logics of information flow and action to develop a unified new theory of what preference is and how it changes. The theory emphasizes reasons for preference, as well as its entanglement with our beliefs. Moreover, the book provides dynamic logical systems which describe the explicit triggers driving preference (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Forms of Luminosity.Hasen Khudairi - 2017
    This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A Modal Logic for Gödelian Intuition.Hasen Khudairi - manuscript
    This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and the bisimulation-invariant fragment of second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Epistemic Modality and Hyperintensionality in Mathematics.Hasen Khudairi - 2021 - Dissertation, University of St Andrews
    This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.
    Belief revision from the point of view of doxastic logic. Logic Journal of the IGPL, 3(4), 535–553. Segerberg, K. (1995). Conditional action. In G. Crocco, L. Fariñas, & A. Herzig (Eds.), Conditionals: From philosophy to computer science, Studies ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.
    This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • On the Necessity of Priority Monism.Stephen Harrop - forthcoming - Erkenntnis.
    Priority monism is the doctrine that there is only one basic object: the entire cosmos. Priority monists often take this to be a metaphysically necessary thesis. I explore the consequences of modalizing the priority monist thesis. I argue that, modulo some assumptions, the modalized thesis entails the necessary existence of the actual cosmos. I further argue that, if the modalized thesis is true, and the actual cosmos necessarily exists, then the only possible concrete objects are the actually existing ones.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Meaning, Evidence, and Objectivity.Olivia Sultanescu - 2021 - In Syraya Chin-Mu Yang & Robert H. Myers (eds.), Donald Davidson on Action, Mind and Value. pp. 171-184.
    This chapter addresses the question of what, according to the conception of meaning offered by Donald Davidson, makes expressions meaningful. It addresses this question by reflecting on Kathrin Glüer’s recent response to it. It argues that Glüer misconstrues both the evidence for meaning that the radical interpreter must rely on and the way in which the principle of charity must be deployed. The articulation of the correct construal of the evidence and the principle reveals the thoroughly non-reductionist aspect of Davidson’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  • Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
    This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.
    This contributed volume includes both theoretical research on philosophical logic and its applications in artificial intelligence, mostly employing the concepts and techniques of modal logic. It collects selected papers presented at the Second Asia Workshop on Philosophical Logic, held in Guangzhou, China in 2014, as well as a number of invited papers by specialists in related fields. The contributions represent pioneering philosophical logic research in Asia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Una Introducción a la teoría lógica de la Edad Media.Manuel A. Dahlquist - 2018 - London, UK: College Publications.
    La lógica de la Edad Media se presenta a los lógicos contemporáneos, filósofos medievalistas, historiadores y filósofos de la lógica, como un campo tan fascinante como de difícil acceso. Parece demasiado intrincado para casi cualquier investigador de estas áreas encontrar la punta del ovillo que lo conduzca a transitar una presentación ordenada e inteligible de la lógica medieval. Este libro pretende solucionar este problema. Para ello, presenta de manera ordenada y autocontenida los desarrollos lógicos de la parte técnicamente más evolucionada (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • One Modal Logic to Rule Them All?Wesley H. Holliday & Tadeusz Litak - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. London: College Publications. pp. 367-386.
    In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Moral Principles: Hedged, Contributory, Mixed.Aleks Knoks - 2021 - In Deontic Logic and Normative Systems 2020/21.
    It's natural to think that the principles expressed by the statements "Promises ought to be kept" and "We ought to help those in need" are defeasible. But how are we to make sense of this defeasibility? On one proposal, moral principles have hedges or built-in unless clauses specifying the conditions under which the principle doesn't apply. On another, such principles are contributory and, thus, do not specify which actions ought to be carried out, but only what counts in favor or (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Language and Reality.Menno Lievers - 2021 - In Second Thoughts. Tilburg, Netherlands: pp. 261-277.
    An introduction to philosophy of language since Frege, focusing on the 20th century.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • On the Logic of Belief and Propositional Quantification.Yifeng Ding - 2021 - Journal of Philosophical Logic 50 (5):1143-1198.
    We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is something that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator validating KD45. Among them is the class of complete, atomic, and completely multiplicative BAOs validating KD45. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Relative Necessity and Propositional Quantification.Alexander Roberts - 2020 - Journal of Philosophical Logic 49 (4):703-726.
    Following Smiley’s influential proposal, it has become standard practice to characterise notions of relative necessity in terms of simple strict conditionals. However, Humberstone and others have highlighted various flaws with Smiley’s now standard account of relative necessity. In their recent article, Hale and Leech propose a novel account of relative necessity designed to overcome the problems facing the standard account. Nevertheless, the current article argues that Hale & Leech’s account suffers from its own defects, some of which Hale & Leech (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Names, Descriptions, and Assertion.Ray Buchanan - 2014 - In Zsu-Wei Hung (ed.), Communicative Action. Springer. pp. 03-15.
    According to Millian Descriptivism, while the semantic content of a linguistically simple proper name is just its referent, we often use sentences containing such expressions “to make assertions…that are, in part, descriptive” (Soames 2008). Against this view, I show, following Ted Sider and David Braun (2006), that simple sentences containing names are never used to assert descriptively enriched propositions. In addition, I offer a diagnosis as to where the argument for Millian Descriptivism goes wrong. Once we appreciate the distinctive way (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Agentive Free Choice.Melissa Fusco - forthcoming - Journal of Philosophical Logic:1-31.
    The Free Choice effect---whereby <>(p or q) seems to entail both <>p and <>q---has traditionally been characterized as a phenomenon affecting the deontic modal "may". This paper presents an extension of the semantic account of free choice defended in Fusco (2015) to the agentive modal "can", the "can" which, intuitively, describes an agent's powers. -/- I begin by sketching a model of inexact ability, which grounds a modal approach to agency (Belnap & Perloff 1998; Belnap, Perloff, and Xu 2001) in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Paraconsistência, modalidades e cognoscibilidade.Alexandre Costa-Leite - manuscript
    De modo geral, este texto é uma incursão em lógica filosófica e filosofia da lógica. Ele contém reflexões originais acerca dos conceitos de paraconsistência, modalidades e cognoscibilidade e suas possíveis relações. De modo específico, o texto avança em quatro direções principais: inicialmente, uma definição genérica de lógicas não clássicas utilizando a ideia de lógica abstrata é sugerida. Em seguida, é mostrado como técnicas manuais de paraconsistentização de lógicas são usadas para gerar sistemas particulares de lógicas paraconsistentes. Depois, uma definição de (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Relative Necessity and Propositional Quantification.Alexander Roberts - 2020 - Journal of Philosophical Logic 49 (4):703-726.
    Following Smiley’s influential proposal, it has become standard practice to characterise notions of relative necessity in terms of simple strict conditionals. However, Humberstone and others have highlighted various flaws with Smiley’s now standard account of relative necessity. In their recent article, Hale and Leech propose a novel account of relative necessity designed to overcome the problems facing the standard account. Nevertheless, the current article argues that Hale & Leech’s account suffers from its own defects, some of which Hale & Leech (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22.
    The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Metanormative Principles and Norm Governed Social Interaction.Berislav Žarnić & Gabriela Bašić - 2014 - Revus 22:105-120.
    Critical examination of Alchourrón and Bulygin’s set-theoretic definition of normative system shows that deductive closure is not an inevitable property. Following von Wright’s conjecture that axioms of standard deontic logic describe perfection-properties of a norm-set, a translation algorithm from the modal to the set-theoretic language is introduced. The translations reveal that the plausibility of metanormative principles rests on different grounds. Using a methodological approach that distinguishes the actor roles in a norm governed interaction, it has been shown that metanormative principles (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modals Under Epistemic Tension.Guillermo Del Pinal & Brandon Waldon - 2019 - Natural Language Semantics 27 (2):135-188.
    According to Kratzer’s influential account of epistemic 'must' and 'might', these operators involve quantification over domains of possibilities determined by a modal base and an ordering source. Recently, this account has been challenged by invoking contexts of ‘epistemic tension’: i.e., cases in which an assertion that 'must p' is conjoined with the possibility that 'not p', and cases in which speakers try to downplay a previous assertion that 'must p', after finding out that 'not p'. Epistemic tensions have been invoked (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Epistemic Closure and Epistemic Logic I: Relevant Alternatives and Subjunctivism.Wesley H. Holliday - 2015 - Journal of Philosophical Logic 44 (1):1-62.
    Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknown
    The combination of logic and game theory provides a fine-grained perspective on information and interaction dynamics, a Theory of Play. In this paper we lay down the main components of such a theory, drawing on recent advances in the logical dynamics of actions, preferences, and information. We then show how this fine-grained perspective has already shed new light on the long-term dynamics of information exchange, as well as on the much-discussed question of extensive game rationality.
    Translate
     
     
    Export citation  
     
    Bookmark   7 citations  
  • V čom sa nemôžete mýliť?Igor Sedlár - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (3):351-362.
    The paper sketches an analysis of the notion of a self-fulfilling belief in terms of doxastic modal logic. We point out a connection between self-fulfilling beliefs and Moore’s paradox. Then we look at self-fulfilling beliefs in the context of neighborhood semantics. We argue that the analysis of several interesting self-fulfilling beliefs has to make essential use of propositional quantification.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical and Epistemic Modality.Hasen Khudairi - manuscript
    This paper examines the interaction between the philosophy and psychology of concepts and the modal characterization of the deductive concept of logical validity. The concept of logical consequence on which I focus is model-theoretic, where the concept records the property of necessary truth-preservation from the premise of an argument to its conclusion, as well as the condition that, in the class of all possible worlds in which a premise is true, a consequent formula or succedent class of formulas is true, (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Reverse Public Announcement Operators on Expanded Models.Ryuichi Haney - 2018 - Journal of Logic, Language and Information 27 (3):205-224.
    Past public announcement operators have been defined in Hoshi and Yap :259–281, 2009) and Yap, to describe an agent’s knowledge before an announcement occurs. These operators rely on branching-time structures that do not mirror the traditional, relativization-based semantics of public announcement logic, and favor a historical reading of past announcements. In this paper, we introduce reverse public announcement operators that are interpreted on expanded models. Our model expansion adds accessibility links from an epistemic model \ to a filtrated submodel of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Neomylnosť a logika1.Igor Sedlár - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:239-254.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 239-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  • From KLM-Style Conditionals to Defeasible Modalities, and Back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.
    We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs.Shawn Standefer - 2019 - Studia Logica 107 (6):1103-1134.
    Two common forms of natural deduction proof systems are found in the Gentzen–Prawitz and Jaśkowski–Fitch systems. In this paper, I provide translations between proofs in these systems, pointing out the ways in which the translations highlight the structural rules implicit in the systems. These translations work for classical, intuitionistic, and minimal logic. I then provide translations for classical S4 proofs.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Model-Theoretic Characterization of Intuitionistic Propositional Formulas.Grigory K. Olkhovikov - 2013 - Review of Symbolic Logic 6 (2):348-365.
    Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to k-asimulations for some k, and then that a first-order formula is equivalent to a standard translation of an intuitionistic propositional formula iff it is invariant with respect to asimulations. Finally, it is proved that a first-order formula is equivalent to a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Ontology of Sentential Moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark