20 found
Order:
Disambiguations
Jan Broersen [18]Jan M. Broersen [2]
  1.  30
    Deontic epistemic stit logic distinguishing modes of mens rea.Jan Broersen - 2011 - Journal of Applied Logic 9 (2):137-152.
  2.  92
    Making a Start with the stit Logic Analysis of Intentional Action.Jan M. Broersen - 2011 - Journal of Philosophical Logic 40 (4):499-530.
    This paper studies intentional action in stit logic. The formal logic study of intentional action appears to be new, since most logical studies of intention concern intention as a static mental state. In the formalization we distinguish three modes of acting: the objective level concerning the choices an agent objectively exercises, the subjective level concerning the choices an agent knows or believes to be exercising, and finally, the intentional level concerning the choices an agent intentionally exercises. Several axioms constraining the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  3.  32
    Agents necessitating effects in newtonian time and space: from power and opportunity to effectivity.Jan Broersen - 2019 - Synthese 196 (1):31-68.
    We extend stit logic by adding a spatial dimension. This enables us to distinguish between powers and opportunities of agents. Powers are agent-specific and do not depend on an agent’s location. Opportunities do depend on locations, and are the same for every agent. The central idea is to define the real possibility to see to the truth of a condition in space and time as the combination of the power and the opportunity to do so. The focus on agent-relative powers (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  29
    Action negation and alternative reductions for dynamic deontic logics.Jan Broersen - 2004 - Journal of Applied Logic 2 (1):153-168.
  5.  81
    On Floating Conclusions.Daniela Schuster, Jan Broersen & Henry Prakken - 2023 - Deontic Logic and Normative Systems, 16Th International Conference, Deon 2023.
    When there are two lines of argument that contradict each other but still end up with the same conclusion, this conclusion is called a floating conclusion. It is an open topic in skeptical defeasible reasoning if floating conclusions ought to be accepted. Inter- estingly, the answer seems to be changing for different examples. In this paper, we propose a solution for explaining the different treatments of the floating conclusion in the various examples from the literature. We collect the examples from (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  31
    What groups do, can do, and know they can do: an analysis in normal modal logics.Jan Broersen, Andreas Herzig & Nicolas Troquard - 2009 - Journal of Applied Non-Classical Logics 19 (3):261-289.
    We investigate a series of logics that allow to reason about agents' actions, abilities, and their knowledge about actions and abilities. These logics include Pauly's Coalition Logic CL, Alternating-time Temporal Logic ATL, the logic of ‘seeing-to-it-that' (STIT), and epistemic extensions thereof. While complete axiomatizations of CL and ATL exist, only the fragment of the STIT language without temporal operators and without groups has been axiomatized by Xu (called Ldm). We start by recalling a simplification of the Ldm that has been (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  59
    Conflicting intentions: rectifying the consistency requirements.Hein Duijf, Jan Broersen & John-Jules Ch Meyer - 2019 - Philosophical Studies 176 (4):1097-1118.
    Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  45
    Realistic desires.Jan Broersen, Mehdi Dastani & Leendert van der Torre - 2002 - Journal of Applied Non-Classical Logics 12 (2):287-308.
    Realism for agents with unconditional beliefs, desires and intentions has been analyzed in modal logic. This paper provides a logical analysis of realism for agents with conditional beliefs and desires in a rule based approach analogous to Reiter's default logic. We distinguish two types of realism, which we call ‘a priori' and ‘a posteriori' realism. We analyze whether these two new properties are compatible with other properties discussed in the literature, such as existence of extensions. We show that Reiter's default (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  54
    John Horty, agency and deontic logic.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  10.  66
    Doing without action types.Hein Duijf, Jan Broersen, Alexandra Kuncová & Aldo Iván Ramírez Abarca - forthcoming - Review of Symbolic Logic:1-31.
    This paper explores the analysis of ability, where ability is to be understood in the epistemic sense—in contrast to what might be called a causal sense. There are plenty of cases where an agent is able to perform an action that guarantees a given result even though she does not know which of her actions guarantees that result. Such an agent possesses the causal ability but lacks the epistemic ability. The standard analysis of such epistemic abilities relies on the notion (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  13
    A Stit Logic of Intentionality.Aldo Iván Ramírez Abarca & Jan Broersen - 2023 - In Carlos Areces & Diana Costa (eds.), Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 125-153.
    We extend epistemic stit theory with a modality \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$I_\alpha \varphi $$\end{document}, meant to express that at some moment agent \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha $$\end{document} had a present-directed intention toward the realization of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varphi $$\end{document}. The semantics is based on the extension of stit frames with special topologies associated to agents. The open sets of the associated topology (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018.Jan M. Broersen, Gabriella Pigozzi, Cleo Condoravdi & Shyam Nair (eds.) - 2018
     
    Export citation  
     
    Bookmark  
  13.  78
    Determining the environment: a modal logic for closed interaction.Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini - 2009 - Synthese 169 (2):351-369.
    The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Formalizing No Wishful Thinking.Jan Broersen, Mehdi Dastani & Leendert van der Torre - 2001 - Journal of Applied Non-Classical Logics 11 (3-4).
     
    Export citation  
     
    Bookmark  
  15.  15
    Relativized Action Complement for Dynamic Logics.Jan Broersen - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 51-69.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  5
    Relativized Action Complement for Dynamic Logics.Jan Broersen - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 51-69.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  65
    What an Agent Ought To Do.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  18.  30
    Regulating competing coalitions: a logic for socially optimal group choices.Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer - 2012 - Journal of Applied Non-Classical Logics 22 (1):181-202.
    In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  28
    Beliefs in agent implementation.Laurens Winkelhagen, Mehdi Dastani & Jan Broersen - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 1--16.
  20.  24
    Three Points of Disagreement with Gideon Yaffe on Attempts. [REVIEW]Gideon Yaffe, Steven Sverdlik, Thomas Nadelhoffer & Jan Broersen - 2012 - Jurisprudence 3 (2):465-503.