Results for 'Logic of agency'

990 found
Order:
  1. The modal logic of agency.Dag Elgesem - 1997 - Nordic Journal of Philosophical Logic 2:1-46.
  2.  84
    Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.
  3. A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
    The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency ( ). Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic (ATL) and Coalition Logic, in cooperation modalities for expressing powers of agents and coalitions are not primitive, but are defined from more basic dynamic (...) operators of action and (historic) necessity. We show that STIT logic can be reconstructed in . We then extend with epistemic operators, which allows us to distinguish capability and power. We finally characterize the conditions under which agents are aware of their capabilities and powers. (shrink)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  4. A resource-sensitive logic of agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a (...) of agency. In particular, we apply it to reason about the resource-sensitive use of artefacts. (shrink)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  96
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Old foundations for the logic of agency and action.Lennart Åqvist - 2002 - Studia Logica 72 (3):313-338.
    The paper presents an infinite hierarchy of sound and complete axiomatic systems for Two-Dimensional Modal Tense Logic with Historical Necessity, Agents and Acts. A main novelty of these logics is their capacity to represent formally (i) basic action-sentences asserting that such and such an act is performed/omitted by an agent, as well as (ii) causative action-sentences asserting that by performing/omitting a certain act, an agent causes that such and such a state-of-affairs is realized (e.g. comes about/ceases/remains/remains absent). We illustrate (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  18
    Temporal Logics of Agency.Johan Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    Alternative Axiomatization for Logics of Agency in a G3 Calculus.Sara Negri & Edi Pavlović - 2021 - Foundations of Science 28 (1):205-224.
    In a recent paper, Negri and Pavlović (Studia Logica 1–35, 2020) have formulated a decidable sequent calculus for the logic of agency, specifically for a deliberative see-to-it-that modality, or dstit. In that paper the adequacy of the system is demonstrated by showing the derivability of the axiomatization of dstit from Belnap et al. (Facing the future: agents and choices in our indeterminist world. Oxford University Press, Oxford, 2001). And while the influence of the latter book on the study (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  42
    Natural Language and Logic of Agency.Johan van Benthem - 2014 - Journal of Logic, Language and Information 23 (3):367-382.
    This light piece reflects on analogies between two often disjoint streams of research: the logical semantics and pragmatics of natural language and dynamic logics of general information-driven agency. The two areas show significant overlap in themes and tools, and yet, the focus seems subtly different in each, defying a simple comparison. We discuss some unusual questions that emerge when the two are put side by side, without any pretense at covering the whole literature or at reaching definitive conclusions.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Modalities in Temporal Logic of Agency.Alberto Zanardo - 2009 - Humana. Mente 8:1-15.
  11.  50
    Freedom and Reflection: Hegel and the Logic of Agency.Christopher Yeomans - 2011 - New York, NY, USA: Oxford University Press.
    Hegel’s Logic reveals an insightful and subtle engagement with the traditional problem of free will as it emerges from our basic commitment to the explicability of the world. While the dominant current interpretations of Hegel’s theory of agency find little of significance in the Logic and suggest that Hegel avoided the traditional problem, Yeomans argues both that the problem is unavoidable, and that the two versions of the Logic fruitfully engage the tensions between explicability and both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  12.  13
    Anselm’s Logic of Agency.Sara L. Uckelman - 2009 - History of Philosophy & Logical Analysis 12 (1):248-268.
  13. On the Dynamic Logic of Agency and Action.Chrysafis Hartonas - 2014 - Studia Logica 102 (3):441-478.
    We present a Hilbert style axiomatization and an equational theory for reasoning about actions and capabilities. We introduce two novel features in the language of propositional dynamic logic, converse as backwards modality and abstract processes specified by preconditions and effects, written as \({\varphi \Rightarrow \psi}\) and first explored in our recent paper (Hartonas, Log J IGPL Oxf Univ Press, 2012), where a Gentzen-style sequent calculus was introduced. The system has two very natural interpretations, one based on the familiar relational (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  26
    Indistinguishability, Choices, and Logics of Agency.Alberto Zanardo - 2013 - Studia Logica 101 (6):1215-1236.
    This paper deals with structures ${\langle{\bf T}, I\rangle}$ in which T is a tree and I is a function assigning each moment a partition of the set of histories passing through it. The function I is called indistinguishability and generalizes the notion of undividedness. Belnap’s choices are particular indistinguishability functions. Structures ${\langle{\bf T}, I\rangle}$ provide a semantics for a language ${\mathcal{L}}$ with tense and modal operators. The first part of the paper investigates the set-theoretical properties of the set of indistinguishability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  59
    Time and modality in the logic of agency.Brian F. Chellas - 1992 - Studia Logica 51 (3-4):485 - 517.
    Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  16.  85
    On the Axiomatisation of Elgesem's Logic of Agency and Ability.Guido Governatori & Antonino Rotolo - 2005 - Journal of Philosophical Logic 34 (4):403-431.
    In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  16
    Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT.S. Negri & E. Pavlović - 2020 - Studia Logica 109 (3):473-507.
    A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Backwards and forwards in the modal logic of agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
  19.  8
    Backwards and Forwards in the Modal Logic of Agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  20.  91
    Doxastic Decisions, Epistemic Justification, and The Logic of Agency.Heinrich Wansing - 2006 - Philosophical Studies 128 (1):201-227.
    A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstream epistemology. Moreover, it is argued (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  56
    Expressivity results for deontic logics of collective agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2021 - Synthese 198 (9):8733-8753.
    We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of *stit* logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  25
    Freedom and Reflection: Hegel and the Logic of Agency (review).Henry Southgate - 2013 - Journal of the History of Philosophy 51 (1):133-134.
  23. The Logic of Insurgent Collective Action: Defiance and Agency in Rural El Salvador.Elisabeth Wood - forthcoming - Theory and Society.
     
    Export citation  
     
    Bookmark  
  24.  53
    Yeomans, Christopher. Freedom and Reflection: Hegel and the Logic of Agency[REVIEW]Steven M. Duncan - 2012 - Review of Metaphysics 66 (1):174-175.
  25.  9
    Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  26.  11
    Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  27.  29
    Towards a Logic of Rational Agency.Wiebe van der Hoek & Michael Wooldridge - 2003 - Logic Journal of the IGPL 11 (2):135-159.
    Rational agents are important objects of study in several research communities, including economics, philosophy, cognitive science, and most recently computer science and artificial intelligence. Crudely, a rational agent is an entity that is capable of acting on its environment, and which chooses to act in such a way as to further its own best interests. There has recently been much interest in the use of mathematical logic for developing formal theories of such agents. Such theories view agents as practical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  28.  10
    Review of Agency and deontic logic by John Horty Oxford university press 2001. [REVIEW]Jan Reviewer-Broersen & Leender van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29. Agency, Authority, and the Logic of Mutual Recognition.Stuart Toddington - 2013 - Ratio Juris 28 (1):89-109.
    The “Cartesian” model of the rational subject is central to the political philosophy of Hobbes and Locke and is “transcendentally” affirmed in Kant's account of ethics and legality. An influential body of Hegelian inspired critique has suggested, however, that the dialectical deficiencies of the dominant models of Liberalism in late modernity inhere in this “atomistic” or “self-supporting” characterisation of the individual. The “atomistic” perspective appears as an obstacle not only to the coherent articulation of the compatibility of liberty and equality, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  30.  38
    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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Christopher Yeomans. Freedom and Reflection: Hegel and the Logic of Agency. Oxford: Oxford University Press, 2012. ISBN 978-0-199-79452-2 . Pp. 275. $74.00. [REVIEW]Arto Laitinen - 2018 - Hegel Bulletin 39 (1):193-197.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Remarks on the logic of imagination. A step towards understanding doxastic control through imagination.Heinrich Wansing - 2017 - Synthese 194 (8):2843-2861.
    Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  33.  9
    St. Anselm and the Logical Syntax of Agency.Douglas Walton - 1976 - Franciscan Studies 36 (1):298-312.
  34.  26
    Review of Agency and deontic logic by John Horty Oxford university press 2001. [REVIEW]Jan Reviewer-Broersen & Leender Reviewer-van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  35.  37
    Christopher Yeomans. Freedom and Reflection: Hegel and the Logic of Agency[REVIEW]David Ciavatta - 2012 - The Owl of Minerva 44 (1-2):168-176.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  7
    Clausal resolution in a logic of rational agency.Clare Dixon, Michael Fisher & Alexander Bolotov - 2002 - Artificial Intelligence 139 (1):47-89.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  48
    Organizational structure and responsibility: An analysis in a dynamic logic of organized collective agency.Davide Grossi, Lambèr Royakkers & Frank Dignum - 2007 - Artificial Intelligence and Law 15 (3):223-249.
    Aim of the present paper is to provide a formal characterization of various different notions of responsibility within groups of agents (Who did that? Who gets the blame? Who is accountable for that? etc.). To pursue this aim, the papers proposes an organic analysis of organized collective agency by tackling the issues of organizational structure, role enactment, organizational activities, task-division and task-allocation. The result consists in a semantic framework based on dynamic logic in which all these concepts can (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  38. The logic of empirical theories revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  39. The Logic of Action and Control.Leona Mollica - 2023 - Journal of Philosophical Logic 52 (5):1237-1268.
    In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  35
    “Willing the Event”: Expressive Agency in Deleuze’s Logic of Sense.Sean Bowden - 2014 - Critical Horizons 15 (3):231-248.
    A major problem threatens Deleuze’s project in The Logic of Sense. He makes an ontological distinction between events and substances, but he then collapses a crucial distinction between two kinds of events, namely, actions and mere occurrences. Indeed, whereas actions are commonly differentiated from mere occurrences with reference to their causal dependence on the intentions of their agents, Deleuze asserts a strict ontological distinction between the realm of causes and the realm of events, and holds that events of all (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41. The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.
    We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  42.  9
    Deleuze and Biosemiotics: Biological Emergence, Agency, and Subjectivity in Logic of Sense and A Thousand Plateaus.Peter M. Lang - forthcoming - Biosemiotics:1-20.
    A vital step to successfully orienting Deleuze with biosemiotics (and theories of biological complexity overall) is to discover a coherent scientific throughline in his work that also accounts for the aesthetic/creative dimension of his philosophy. This requires the heterodox move (from a Deleuzean point of view) of giving priority to the organism. I argue that Deleuze’s treatment of the organism does more than signal a superficial relation to biological complexity theory that, as a result of his nuanced take on the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Causal Agency and Responsibility: A Refinement of STIT Logic.Alexandru Baltag, Ilaria Canavotto & Sonja Smets - 2021 - In Alessandro Giordani & Jacek Malinowski (eds.), Logic in High Definition, Trends in Logical Semantics. Berlin, Germany: pp. 149-176.
    We propose a refinement of STIT logic to make it suitable to model causal agency and responsibility in basic multi-agent scenarios in which agents can interfere with one another. We do this by supplementing STIT semantics, first, with action types and, second, with a relation of opposing between action types. We exploit these novel elements to represent a test for potential causation, based on an intuitive notion of expected result of an action, and two tests for actual causation (...)
     
    Export citation  
     
    Bookmark   2 citations  
  44.  32
    The role of agency in sociocultural evolution: Institutional entrepreneurship as a force of structural and cultural change.Seth Abrutyn & Justin Van Ness - 2015 - Thesis Eleven 127 (1):52-77.
    Inspired by Weber’s charismatic carrier groups, Eisenstadt coined the term institutional entrepreneur to capture the rare but epochal collective capable of reorienting a group’s value-orientations and transferring charisma, while making them an evolutionary force of structural and cultural change. As a corrective to Parsons’ abstract, ‘top-down’ theory of change, Eisenstadt’s theory provided historical context and agency to moments in which societies experienced qualitative transformation. The concept has become central to new institutionalism, neo-functionalism, and evolutionary-institutionalism. Drawing from the former two, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  11
    Notions of instrumentality in agency logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.
    We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  53
    Down Girl: The Logic of Misogyny.Kate Manne - 2017 - Oxford University Press.
    Down Girl is a broad, original, and far ranging analysis of what misogyny really is, how it works, its purpose, and how to fight it. The philosopher Kate Manne argues that modern society's failure to recognize women's full humanity and autonomy is not actually the problem. She argues instead that it is women's manifestations of human capacities -- autonomy, agency, political engagement -- is what engenders misogynist hostility.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   165 citations  
  47. Ontology and social theory: The ontological status of subjectivity : the missing link between structure and agency / Margaret S. Archer. Technology, technological determinism and the transformational model of social activity / Clive Lawson. Ontological theorising and the assumptions issue in economics / Stephen Pratten. Wittgenstein and the ontology of the social : some Kripkean reflections on Bourdieu's 'theory of practice' / Lorenzo Bernasconi-Kohn. Deducing natural necessity from purposive activity : the scientific realist logic of Habermas' theory of communicative action and Luhmann's systems theory / Margaret Moussa. 'Under-labouring' for ethics : Lukács's critical ontology. [REVIEW]Mário Duayer & João Leonardo Medeiros - 2006 - In Clive Lawson, John Latsis & Nuno Martins (eds.), Contributions to Social Ontology. Routledge.
  48.  43
    The logic of empirical theories revisited.Johan Benthem - 2012 - Synthese 186 (3):775 - 792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  39
    Distinguishing the Power of Agency from Agentic Power: A Note on Weber and the "Black Box" of Personal Agency.Colin Campbell - 2009 - Sociological Theory 27 (4):407 - 418.
    The concept of agency, although central to many sociological debates, has remained frustratingly elusive to pin down. This article is an attempt to open up what has been called the "black box" of personal agency by distinguishing clearly between two contrasting conceptions of the phenomenon. These two conceptions are very apparent in the manner in which the concept is defined in sociological reference works, resembling as it does a similar contrast in the treatment of the concept of power. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  50. The logic of team reasoning.Robert Sugden - 2003 - Philosophical Explorations 6 (3):165 – 181.
    Abstract Orthodox decision theory presupposes that agency is invested in individuals. An opposing literature allows team agency to be invested in teams whose members use distinctive modes of team reasoning. This paper offers a new conceptual framework, inspired by David Lewis's analysis of common reasons for belief, within which team reasoning can be represented. It shows how individuals can independently endorse a principle of team reasoning which prescribes acting as a team member conditional on assurance that others have (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   73 citations  
1 — 50 / 990