Switch to: References

Citations of:

Facing the Future: Agents and Choices in Our Indeterminist World

Oxford University Press on Demand (2001)

Add citations

You must login to add citations.
  1. Blame it on me.Lambèr Royakkers & Jesse Hughes - 2020 - Journal of Philosophical Logic 49 (2):315-349.
    In this paper, we develop a formalisation of the main ideas of the work of Van de Poel on responsibility. Using the basic concepts through which the meanings of responsibility are defined, we construct a logic which enables to express sentences like “individual i is accountable for φ”, “individual i is blameworthy for φ” and “individual i has the obligation to see to it that φ”. This formalization clarifies the definitions of responsibility given by Van de Poel and highlights their (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The Open Future.Stephan Torre - 2011 - Philosophy Compass 6 (5):360-373.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Logic in Philosophy.Johan van Benthem - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: pp. 65-99.
    1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Agency and Fictional Truth: A Formal Study on Fiction-Making.Giuseppe Spolaore - 2015 - Synthese 192 (5):1235-1265.
    Fictional truth, or truth in fiction/pretense, has been the object of extended scrutiny among philosophers and logicians in recent decades. Comparatively little attention, however, has been paid to its inferential relationships with time and with certain deliberate and contingent human activities, namely, the creation of fictional works. The aim of the paper is to contribute to filling the gap. Toward this goal, a formal framework is outlined that is consistent with a variety of conceptions of fictional truth and based upon (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Problem of Index-Initialisation in the Tempo-Modal Semantics.Jacek Wawer - 2019 - Studia Semiotyczne—English Supplement 30:21-41.
    In Kripke-semantics for modal logic, the truth value of a sentence depends on the choice of a semantic index. It means that application of such semantics to natural language analysis requires indication of an index relevant for semantic analysis. It is commonly accepted that the relevant index is initialised by the context of an utterance. The idea has been rejected by the semanticists investigating tempo-modal languages in the framework of indeterminism, which generated the problem of initialization of the semantic index. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • B-Theory and Time Biases.Sayid Bnefsi - 2019 - In Patrick Blackburn, Per Hasle & Peter Øhrstrøm (eds.), Logic and Philosophy of Time: Further Themes from Prior. Aalborg, Denmark: Aalborg University Press. pp. 41-52.
    We care not only about what experiences we have, but when we have them too. However, on the B-theory of time, something’s timing isn’t an intrinsic way for that thing to be or become. Given B-theory, should we be rationally indifferent about the timing per se of an experience? In this paper, I argue that B-theorists can justify time-biased preferences for pains to be past rather than present and for pleasures to be present rather than past. In support of this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Evaluating Future-Tensed Sentences in Changing Contexts.Andrea Bonomi & Fabio Del Prete - manuscript
    According to the actualist view, what is essential in the truth conditions of a future-tensed sentence of type ‘it will be the case that ϕ’ is the reference to the unique course of events that will become actual. On the other hand, the modal view has it that the truth conditions of such a sentence require the truth of ϕ being already “settled” at the time of utterance, where “being settled” is defined by universal quantification over a domain of courses (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Knowledge and Obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.
    This article provides a brief overview of several formal frameworks concerning the relation between knowledge on the one hand, and obligation on the other. We discuss the paradox of the knower, knowledge based obligation, knowingly doing, deontic dynamic epistemology, descriptive obligations, and responsibilities as dynamic epistemology.
    Download  
     
    Export citation  
     
    Bookmark  
  • Travelling in Branching Time.Manolo Martínez - 2011 - Disputatio 4 (31):59-75.
    Miller (2005) and Miller (2008) argue that the branching picture of time is incompatible with the possibility of backwards time travel. In this paper I show that Miller’s conclusion is based on a hidden assumption which, while generally plausible, is unwarranted if time travel is possible. Branching time is, after all, compatible with time travel as Miller characterises it.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Branching and (in)Determinism.Jiri Benovsky - 2013 - Philosophical Papers 42 (2):151-173.
    At a first glance, and even at a second one, it seems that if time is linear the threat of determinism is more severe than if time is branching, since in the latter case the future is open in a way it is not in the former one where, so to speak, there exists only one branch – one future. In this paper, I want to give a 'third glance' at this claim. I acknowledge that such a claim is intuitive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Indeterminate Truth.Patrick Greenough - 2008 - Midwest Studies in Philosophy 32 (1):213-241.
    In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Joint Intention, We-Mode and I-Mode.Raimo Tuomela - 2006 - Midwest Studies in Philosophy 30 (1):35–58.
    The central topic of this paper is to study joint intention to perform a joint action or to bring about a certain state. Here are some examples of such joint action: You and I share the plan to carry a heavy table jointly upstairs and realize this plan, we sing a duet together, we clean up our backyard together, and I cash a check by acting jointly with you, a bank teller, and finally we together elect a new president for (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • ‘Ought’ and Resolution Semantics.Fabrizio Cariani - 2013 - Noûs 47 (3):534-558.
    I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Deontic Logic as a Study of Conditions of Rationality in Norm-Related Activities.Berislav Žarnić - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer (eds.), Deontic Logic and Normative Systems. College Publications. pp. 272-287.
    The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Conditionals in Causal Decision Theory.John Cantwell - 2013 - Synthese 190 (4):661-679.
    This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Utility of Content-Relativism.Paula Sweeney - 2014 - Dialectica 68 (4):563-579.
    Content- relativism is a semantic theory that states that the content of an uttered sentence can vary according to some feature of an assessment context. This paper has two objectives. The first is to determine which features a motivational case for content- relativism would display – what would a good case for content- relativism look like? The second is to consider cases that appear to have the required features and evaluate their prospects as motivational cases. I identify two varieties of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Stochastic Process Model for Free Agency Under Indeterminism.Thomas Müller & Hans J. Briegel - 2018 - Dialectica 72 (2):219-252.
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactuals and Historical Possibility.Tomasz Placek & Thomas Müller - 2007 - Synthese 154 (2):173-197.
    We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Relativism 1: Representational Content.Max Kölbel - 2015 - Philosophy Compass 10 (1):38-51.
    In the pair of articles of which this is the first, I shall present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. All these problems and proposals concern the question of how we should represent thought and speech about certain topics. The main issue here is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Relativism 2: Semantic Content.Max Kölbel - 2015 - Philosophy Compass 10 (1):52–67.
    In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The Effects of Social Ties on Coordination: Conceptual Foundations for an Empirical Analysis. [REVIEW]Giuseppe Attanasi, Astrid Hopfensitz, Emiliano Lorini & Frédéric Moisan - 2014 - Phenomenology and the Cognitive Sciences 13 (1):47-73.
    This paper investigates the influence that social ties can have on behavior. After defining the concept of social ties that we consider, we introduce an original model of social ties. The impact of such ties on social preferences is studied in a coordination game with outside option. We provide a detailed game theoretical analysis of this game while considering various types of players, i.e., self-interest maximizing, inequity averse, and fair agents. In addition to these approaches that require strategic reasoning in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Branching with Uncertain Semantics: Discussion Note on Saunders and Wallace, 'Branching and Uncertainty'.N. Belnap & T. Muller - 2010 - British Journal for the Philosophy of Science 61 (3):681-696.
    (No abstract is available for this citation).
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Formal Characterisation of Hamblin’s Action-State Semantics.Chris Reed & Timothy J. Norman - 2007 - Journal of Philosophical Logic 36 (4):415 - 448.
    Hamblin's Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative. Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary relation over possible worlds integrated with a basic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Direct Reference, Empty Names and Implicature.Mitchell S. Green - 2007 - Canadian Journal of Philosophy 37 (3):419-447.
    Angle Grinder Man removes wheel locks from cars in London.1 He is something of a folk hero, saving drivers from enormous parking and towing fi nes, and has succeeded thus far in eluding the authorities. In spite of his cape and lamé tights, he is no fi ction; he’s a real person. By contrast, Pegasus, Zeus and the like are fi ctions. None of them is real. In fact, not only is each of them different from the others, all differ (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • We-Intentions Revisited.Raimo Tuomela - 2005 - Philosophical Studies 125 (3):327 - 369.
    This paper gives an up-to-date account of we-intentions and responds to some critics of the author’s earlier work on the topic in question. While the main lines of the new account are basically the same as before, the present account considerably adds to the earlier work. For one thing, it shows how we-intentions and joint intentions can arise in terms of the so-called Bulletin Board View of joint intention acquisition, which relies heavily on some underlying mutually accepted conceptual and situational (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  • Reasoning with Moral Conflicts.John F. Horty - 2003 - Noûs 37 (4):557–605.
    Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Vindicating Chance: One the Reductionism/Non-Reductionism Debate.Ramiro Caso - 2016 - Critica 48 (142):3-33.
    e presenta el debate entre reduccionismo y no reduccionismo respecto de la probabilidad objetiva y se identifican las cargas dialécticas adquiridas por cada posición: el problema de la motivación y el problema de la explicación. Se argumenta que, mientras que el problema de la motivación no presenta ningún desafío para los no reduccionistas, los reduccionistas no son capaces de responderlo exitosamente. Contrariamente a lo que se ha sugerido, ambos lados comparten el problema de la explicación. Se argumenta que los no (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • A Dynamic Logic of Agency II: Deterministic Dla {\Mathcal{Dla}} , Coalition Logic, and Game Theory.Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (3):327-351.
    We continue the work initiated in Herzig and Lorini (J Logic Lang Inform, in press) whose aim is to provide a minimalistic logical framework combining the expressiveness of dynamic logic in which actions are first-class citizens in the object language, with the expressiveness of logics of agency such as STIT and logics of group capabilities such as CL and ATL. We present a logic called ( Deterministic Dynamic logic of Agency ) which supports reasoning about actions and joint actions of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Epistemic Logic Meets Epistemic Game Theory: A Comparison Between Multi-Agent Kripke Models and Type Spaces.Paolo Galeazzi & Emiliano Lorini - 2016 - Synthese 193 (7):2097-2127.
    In the literature there are at least two main formal structures to deal with situations of interactive epistemology: Kripke models and type spaces. As shown in many papers :149–225, 1999; Battigalli and Siniscalchi in J Econ Theory 106:356–391, 2002; Klein and Pacuit in Stud Log 102:297–319, 2014; Lorini in J Philos Log 42:863–904, 2013), both these frameworks can be used to express epistemic conditions for solution concepts in game theory. The main result of this paper is a formal comparison between (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The Interpretation of Indefinites in Future Tensed Sentences. A Novel Argument for the Modality of Will?Fabio Del Prete - 2014 - In Mikhail Kissine, Philippe de Brabanter & Saghie Sharifzadeh (eds.), Oxford Studies of Time in Language and Thought.
    The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced in the interpretation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Root of Linguistic Commitment.Berislav Žarnić - 2013 - In Anna Brożek Jacek Jadacki & Berislav Žarnić (eds.), Theory of Imperatives from Different Points of View (2).
    Two parallelism hypotheses have been adopted and the third one on their relationship has been put forward. The illocutionary logic hypothesis states that the logic of linguistic commitments runs parallel to the logic of intentionality. The normative pragmatics hypothesis states that the logic of utterances runs parallel to the logic of linguistic commitments. According to the third stance or the logic projection hypothesis, the logic of utterances is the origin of all other logics used in describing psychological and social realities. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Truth and the Open Future: The Solution to Aristotle's Sea Battle Challenge with the Principle of Bivalence Retained.Milos Arsenijevic - unknown
    The talk deals with Aristotle’s famous sea-battle problem concerning the truth values of sentences about contingent future events: If an utterance of the sentence “There will be a sea battle tomorrow” is true, then it seems that it is determined that there will be a sea battle tomorrow. For otherwise, how could the utterance be true? If, however, an utterance of the sentence “There will be a sea battle tomorrow” is false, then it seems that it is determined that there (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Two Moves Take Newtonian Determinism to Branching Space-Times.Nuel Belnap - unknown
    “Branching space-times” is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its relativistic theory of spatio-temporal relations; this ability is essential for the representation of local indeterminism. This essay indicates how BST might be seen to grow out of Newton ’s deterministic and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Impossible Worlds and the Logic of Imagination.Francesco Berto - 2017 - Erkenntnis 82 (6):1277-1297.
    I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The Question of System: How to Read the Development From Kant to Hegel.Pirmin Stekeler‐Weithofer - 2006 - Inquiry: An Interdisciplinary Journal of Philosophy 49 (1):80-102.
    In order to understand Hegel's approach to philosophy, we need to ask why, and how, he reacts to the well-known criticism of German Romantics, like Novalis and Friedrich Schlegel, against philosophical system building in general, and against Kant's system in particular. Hegel's encyclopedic system is a topical ordering of categorically different ontological realms, corresponding to different conceptual forms of representation and knowledge. All in all it turns into a systematic defense of Fichte's doctrine concerning the primacy of us as actors (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Towards a New Theory of Historical Counterfactuals.Jacek Wawer & Leszek Wroński - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. College Publications. pp. 293-310.
    We investigate the semantics of historical counterfactuals in indeterministic contexts. We claim that "plain" and "necessitated" counterfactuals differ in meaning. To substantiate this claim, we propose a new semantic treatment of historical counterfactuals in the Branching Time framework. We supplement our semantics with supervaluationist postsemantics, thanks to which we can explain away the intuitions which seem to talk in favor of the identification of "would" with "would necessarily".
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Defining Determinism.Thomas Müller & Tomasz Placek - 2018 - British Journal for the Philosophy of Science 69:215-252.
    The article puts forward a branching-style framework for the analysis of determinism and indeterminism of scientific theories, starting from the core idea that an indeterministic system is one whose present allows for more than one alternative possible future. We describe how a definition of determinism stated in terms of branching models supplements and improves current treatments of determinism of theories of physics. In these treatments, we identify three main approaches: one based on the study of equations, one based on mappings (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Branch Dependence in the “Consistent Histories” Approach to Quantum Mechanics.Thomas Müller - 2007 - Foundations of Physics 37 (2):253-276.
    In the consistent histories formalism one specifies a family of histories as an exhaustive set of pairwise exclusive descriptions of the dynamics of a quantum system. We define branching families of histories, which strike a middle ground between the two available mathematically precise definitions of families of histories, viz., product families and Isham’s history projector operator formalism. The former are too narrow for applications, and the latter’s generality comes at a certain cost, barring an intuitive reading of the “histories”. Branching (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • A Logic of Intention and Attempt.Emiliano Lorini & Andreas Herzig - 2008 - Synthese 163 (1):45 - 77.
    We present a modal logic called (logic of intention and attempt) in which we can reason about intention dynamics and intentional action execution. By exploiting the expressive power of , we provide a formal analysis of the relation between intention and action and highlight the pivotal role of attempt in action execution. Besides, we deal with the problems of instrumental reasoning and intention persistence.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Branching Histories Approach to Indeterminism and Free Will.Nuel Belnap - unknown
    An informal sketch is offered of some chief ideas of the (formal) ``branching histories'' theory of objective possibility, free will and indeterminism. Reference is made to ``branching time'' and to ``branching space-times,'' with emphasis on a theme that they share: Objective possibilities are in Our World, organized by the relation of causal order.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Fara’s Formula and the Supervaluational Thin Red Line.Alex Peter Malpass - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (2):267-282.
    Este artículo se centra en un argumento presentado por Fara (2010) en contra del supervaluacionismo en el contexto de la vaguedad. Muestro cómo dicho argumento es igualmente aplicable al supervaluacionismo de tiempo ramificado (presentado por primera vez por Thomason 1970), pero no a la semántica 'STRL' de Malpass y Wawer (2012), que está estrechamente relacionada.
    Download  
     
    Export citation  
     
    Bookmark  
  • Finding One's Way in the Labyrinth of Forking Paths. (The Semantics of the Future Tense: Part I.).Andrea Bonomi - unknown
    unified treatment of both (families of) interpretations is based on a revised notion of settledness. The main features of this approach are the following: (i) in branching structures, a world can be represented not by a single course of events, but by a node u in the tree, where u itself is seen as the cluster of courses of events passing through it; (ii) the utterance time is uniquely fixed; (iii) the utterance world is not uniquely fixed; (iv) because of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Justification Announcements in Discrete Time. Part II: Frame Definability Results.Grigory K. Olkhovikov - 2019 - Logic Journal of the IGPL 27 (5):671-692.
    In Part I of this paper we presented a Hilbert-style system $\Sigma _D$ axiomatizing stit logic of justification announcements interpreted over models with discrete time structure. In this part, we prove three frame definability results for $\Sigma _D$ using three different definitions of a frame plus another version of completeness result.
    Download  
     
    Export citation  
     
    Bookmark  
  • Modelowanie działań i norm w logice deontycznej.Piotr Kulicki & Robert Trypuz - 2013 - In Jerzy Juchnowski & Robert Wiszniowski (eds.), Współczesna teoria i praktyka badań społecznych i humanistycznych. Tom 1. Adam Marszałek.
    In the paper we provide an overview of issues related to the models used in the research on the logic of norms and actions. We present two models of the variability of the world: temporal (acyclic) and atemporal (cyclic). In the first one the past is always clearly defined, and the future is potentially “branched”. The second type of model allows for a return to the situation that took place. Next we describe different approaches towards agency modeling. We present the (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
    So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (S3):365-401.
    There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic, Planning Agency and Branching Time.Ricardo Souza Silvestre - 2010 - Principia: An International Journal of Epistemology 14 (3):421-438.
    O propósito desse artigo é fornecer um tratamento formal para um tipo de ação até o momento negligenciada nas lógicas modais filosóficas da ação: ação em plano. Ao fazer isso nós seguimos a abordagem padrão nas lógicas modais da ação exemplificados pelos trabalhos de Belnap, Chellas and Pörn. Como nós acreditamos que existe uma relação forte entre plano, tempo e indeterminismo, nós usamos a teoria do tempo ramificado para investigar as características básicas da ação em plano. Além de introduzir uma (...)
    Download  
     
    Export citation  
     
    Bookmark