Results for 'logic of action'

961 found
Order:
  1.  11
    From logic to action on flourishing for all.Paul Shrivastava & John H. Grant - forthcoming - Business and Society Review.
    There is general agreement among sustainability professionals that sustainability needs to be implemented for all and not selectively for just a few. We argue that it is time to urgently act on sustainability and climate change. We suggest plausible actions by businesses, governments, consumers investors, and others. Not acting now risks the closing of a window of opportunity and potential social and economic instabilities.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  19
    A Mini-Guide to Logic in Action.Johan van Benthem - 2006 - In Friedrich Stadler & Michael Stöltzner, Time and History: Proceedings of the 28. International Ludwig Wittgenstein Symposium, Kirchberg Am Wechsel, Austria 2005. Frankfurt, Germany: De Gruyter. pp. 419-440.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  40
    Deontic action logic, atomic boolean algebras and fault-tolerance.Pablo F. Castro & T. S. E. Maibaum - 2009 - Journal of Applied Logic 7 (4):441-466.
  4.  46
    Action negation and alternative reductions for dynamic deontic logics.Jan Broersen - 2004 - Journal of Applied Logic 2 (1):153-168.
  5.  44
    An Epistemic Separation Logic with Action Models.Hans van Ditmarsch, Didier Galmiche & Marta Gawek - 2023 - Journal of Logic, Language and Information 32 (1):89-116.
    In this paper we present an extension of (bunched) separation logic, Boolean BI, with epistemic and dynamic epistemic modalities. This logic, called action model separation logic ($$\mathrm {AMSL}$$AMSL), can be seen as a generalization of public announcement separation logic in which we replace public announcements with action models. Then we not only model public information change (public announcements) but also non-public forms of information change, such as private announcements. In this context the semantics for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    Infinitary action logic with exponentiation.Stepan L. Kuznetsov & Stanislav O. Speranski - 2022 - Annals of Pure and Applied Logic 173 (2):103057.
  7.  80
    Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.
    Kleene algebras and action logic were proposed to be solutions to the finite axiomatization problem of the algebra of regular sets (of strings). They are treated here as nonclassical logics—with Hilbert-style axiomatizations and semantics. We also provide intuitive accounts in terms of information states of the semantics which provide further insights into the formalisms. The three types of "Kripke-style'' semantics which we define develop insights from gaggle theory, and from our four-valued and generalized Kripke semantics for the minimal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  8. A Logic for Human Actions.Clayton Peterson - 2017 - In Gillman Payette & Rafał Urbaniak, Applications of Formal Philosophy: The Road Less Travelled. Cham, Switzerland: Springer International Publishing AG.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  9. On deontic action logics based on Boolean algebra.Robert Trypuz & Piotr Kulicki - forthcoming - Journal of Logic and Computation.
     
    Export citation  
     
    Bookmark   11 citations  
  10. IF and Epistemic Action Logic.Manuel Rebuschi - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser, The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 261--281.
  11. Action frames for weak relevant logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dancak, The Logica Yearbook 2014. College Publications. pp. 267-279.
    The article introduces extended models for the propositional dynamic logic PDL. In extended models, valuation assigns to every state a set of atomic formulas and a PDL program. The program is informally construed as an action preferred by a contextually fixed agent. PDL is then extended by introducing a conditional connective expressing partial correctness claims. The main contribution of the article is the observation that the partial correctness conditional is in fact a substructural implication. It is shown that (...)
     
    Export citation  
     
    Bookmark  
  12. Plural Action Sentences and Logical Form: Reply to Himmelreich.Kirk Ludwig - 2017 - Australasian Journal of Philosophy 95 (4):800-806.
    This paper replies to Himmelreich's ‘The Paraphrase Argument Against Collective Actions’ [2017], which presents three putative counterexamples to the multiple agents analysis of plural action sentences. The paper shows that the argument from the first example, the discursive dilemma, fails because it relies crucially on a simplification of the target analysis, and that the others don't bear on the question because they turn out on examination to be about individual rather than group action sentences.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  30
    Specifying and verifying interaction protocols in a temporal action logic.Laura Giordano, Alberto Martelli & Camilla Schwind - 2007 - Journal of Applied Logic 5 (2):214-234.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  67
    Plans, actions and dialogues using linear logic.Lucas Dixon, Alan Smaill & Tracy Tsang - 2009 - Journal of Logic, Language and Information 18 (2):251-289.
    We describe how Intuitionistic Linear Logic can be used to provide a unified logical account for agents to find and execute plans. This account supports the modelling of agent interaction, including dialogue; allows agents to be robust to unexpected events and failures; and supports significant reuse of agent specifications. The framework has been implemented and several case studies have been considered. Further applications include human–computer interfaces as well as agent interaction in the semantic web.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  73
    Action and ability.Mark A. Brown - 1990 - Journal of Philosophical Logic 19 (1):95 - 114.
  16.  59
    Logic, action, and information: essays on logic in philosophy and artificial intelligence.André Fuhrmann & Hans Rott (eds.) - 1996 - New York: W. de Gruyter.
    Janusz Czelakowski Elements of Formal Action Theory 1. Elementary Action Systems 1.1 Introductory Remarks. In contemporary literature one may distinguish ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  25
    Actions on belief.Sam Steel - 1994 - Journal of Applied Non-Classical Logics 4 (1):29-71.
  18.  27
    Infinitary Action Logic with Multiplexing.Stepan L. Kuznetsov & Stanislav O. Speranski - 2023 - Studia Logica 111 (2):251-280.
    Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility for these calculi, and estimate the complexity of the corresponding derivability problems: in both cases it will turn out to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  59
    Interactions between Knowledge, Action and Commitment within Agent Dynamic Logic.Renate A. Schmidt, Dmitry Tishkovsky & Ullrich Hustadt - 2004 - Studia Logica 78 (3):381-415.
    This paper considers a new class of agent dynamic logics which provide a formal means of specifying and reasoning about the agents activities and informational, motivational and practical aspects of the behaviour of the agents. We present a Hilbert-style deductive system for a basic agent dynamic logic and consider a number of extensions of this logic with axiom schemata formalising interactions between knowledge and commitment (expressing an agent s awareness of her commitments), and interactions between knowledge and actions (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  32
    Language in action.Johan Van Benthem - 1991 - Journal of Philosophical Logic 20 (3):225-263.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   95 citations  
  21.  95
    Parallel action: Concurrent dynamic logic with independent modalities.Robert Goldblatt - 1992 - Studia Logica 51 (3-4):551 - 578.
    Regular dynamic logic is extended by the program construct, meaning and executed in parallel. In a semantics due to Peleg, each command is interpreted as a set of pairs (s,T), withT being the set of states reachable froms by a single execution of, possibly involving several processes acting in parallel. The modalities ] are given the interpretations>A is true ats iff there existsT withsRT andA true throughoutT, and.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  22.  63
    Generalizing Deontic Action Logic.Alessandro Giordani & Matteo Pascucci - 2022 - Studia Logica 110 (4):989-1033.
    We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  34
    Agent strands in the action language n C +.Robert Craven & Marek Sergot - 2008 - Journal of Applied Logic 6 (2):172-191.
  24.  28
    Computable polish group actions.Alexander Melnikov & Antonio Montalbán - 2018 - Journal of Symbolic Logic 83 (2):443-460.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25. Logic and Ethics: An Integrated Model for Norms, Intentions and Actions.Alessandra Marra & Dominik Klein - 2015 - In Wiebe van der Hoek, Wesley H. Holliday & Wen-Fang Wang, Lecture Notes in Computer Science (LNCS) 9394. Springer. pp. 268-281.
    The paper investigates the way norms relate to and affect agents' intentions and actions. Current work in deontic logic dealing with agency mainly falls within two different groups: a variety of frameworks which adopt a purely external approach and represent agency in terms of possible outcomes of actions, and frameworks which instead endorse an internal approach and focus exclusively on the agents' intentions. The paper argues that neither of these models alone can produce a satisfactory analysis. An integrated model (...)
     
    Export citation  
     
    Bookmark  
  26. Reasons for action and defeasibility.María Cristina Redondo - 2012 - In Jordi Ferrer Beltrán & Giovanni Battista Ratti, The Logic of Legal Requirements: Essays on Defeasibility. Oxford, U.K.: Oxford University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  27.  14
    Abelian group actions and hypersmooth equivalence relations.Michael R. Cotton - 2022 - Annals of Pure and Applied Logic 173 (8):103122.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  52
    Recovering the hyperdefinable group action in the group configuration theorem.Byunghan Kim - 2010 - Journal of Symbolic Logic 75 (1):12-24.
    In this paper, we continue the construction done in [3], so that under model-4-CA or 4-CA, given a bounded quadrangle C induced from a group configuration, we build a canonical hyperdefinable homogeneous space equivalent to C. When C is principal, we can choose the homogeneous space principal as well.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  29.  28
    Grounding power on actions and mental attitudes.E. Lorini, N. Troquard, A. Herzig & J. Broersen - 2013 - Logic Journal of the IGPL 21 (3):311-331.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  75
    Deontic logic as founded on tense logic.Richmond H. Thomason - 1981 - In Risto Hilpinen, New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell. pp. 165--176.
    Direct download  
     
    Export citation  
     
    Bookmark   34 citations  
  31. Norm and Action: A Logical Enquiry.Georg Henrik von Wright - 1963 - New York, NY, USA: Routledge and Kegan Paul.
    This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...)
  32.  52
    Editorial: Cognitive actions in focus. [REVIEW]Johan van Benthem & Yoav Shoham - 1997 - Journal of Logic, Language and Information 6 (2):119-121.
  33.  48
    Abduction in Cognition and Action: Logical Reasoning, Scientific Inquiry, and Social Practice.John R. Shook & Sami Paavola (eds.) - 2021 - Springer Verlag.
    This book gathers together novel essays on the state-of-the-art research into the logic and practice of abduction. In many ways, abduction has become established and essential to several fields, such as logic, cognitive science, artificial intelligence, philosophy of science, and methodology. In recent years this interest in abduction’s many aspects and functions has accelerated. There are evidently several different interpretations and uses for abduction. Many fundamental questions on abduction remain open. How is abduction manifested in human cognition and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  81
    Reasoning about action and change.Helmut Prendinger & Gerhard Schurz - 1996 - Journal of Logic, Language and Information 5 (2):209-245.
    Reasoning about change is a central issue in research on human and robot planning. We study an approach to reasoning about action and change in a dynamic logic setting and provide a solution to problems which are related to the Frame problem. Unlike most work on the frame problem the logic described in this paper is monotonic. It (implicitly) allows for the occurrence of actions of multiple agents by introducing non-stationary notions of waiting and test. The need (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35. Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer, Deontic Logic and Normative Systems. London, UK: College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  34
    Process and action: Relevant theory and logics.Richard Sylvan - 1992 - Studia Logica 51 (3-4):379 - 437.
    Whileprocess andaction are fundamental notions, in ubiquitous use, they lack satisfactory logical treatment in two critical respects: in analyses of the fundamentals themselves and in logical development. For what treatment they have so far received, under classical systematisation, leaves significant lacunae and induces much paradox. A relevant logical relocation, carried through in detail here, removes such problems, and provides solid ground-work for a satisfactory treatment.Firstly, as to fundamentals: processes should be explicated, so it is argued, as certain sorts of (time) (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  35
    "Norm and Action: A Logical Enquiry," by Georg Henrik von Wright. [REVIEW]Maurice R. Holloway - 1965 - Modern Schoolman 42 (3):336-337.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Wise choice on dynamic decision-making without independence1.E. Ejerhed, S. Lindstrom & Action Logic - 1997 - In Eva Ejerhed Sten Lindström, Logic, Action and Cognition: Essays in Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 2--97.
     
    Export citation  
     
    Bookmark  
  39.  18
    A history based approximate epistemic action theory for efficient postdictive reasoning.Manfred Eppe & Mehul Bhatt - 2015 - Journal of Applied Logic 13 (4):720-769.
  40.  35
    Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
    Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions. One approach, based on the framework of inquisitive semantics, is inquisitive dynamic epistemic logic ). In this system, agents are represented with issues as well as information. On the dynamic level, it can model actions that raise new issues. Compared to other approaches, a limitation of \ (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  23
    Equivalence relations invariant under group actions.Tomasz Rzepecki - 2018 - Journal of Symbolic Logic 83 (2):683-702.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  41
    Non-kripkean deontic logic.Peter K. Schotch & Raymond E. Jennings - 1981 - In Risto Hilpinen, New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics. Dordrecht, Netherland: Wiley-Blackwell. pp. 149--162.
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  43.  1
    Reasoning From Hypotheses in *-Continuous Action Lattices.Stepan L. Kuznetsov, Tikhon Pshenitsyn & Stanislav O. Speranski - forthcoming - Journal of Symbolic Logic:1-39.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    Essai sur le Probleme le Plus General. Action et Logique. [REVIEW]G. B. - 1939 - Journal of Philosophy 36 (25):696-696.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknown
    Over the past decades, logicians interested in rational agency and intelligent interaction studied major components of these phenomena, such as knowledge, belief, and preference. In recent years, standard ‘static’ logics describing information states of agents have been generalized to dynamic logics describing actions and events that produce information, revise beliefs, or change preferences, as explicit parts of the logical system. Van Ditmarsch, van der Hoek & Kooi 2007, Baltag, van Ditmarsch & Moss 2008, van Benthem, to appear A, are up-to-date (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  44
    Action Models for Coalition Logic.Rustam Galimullin & Thomas Ågotnes - 2023 - In Carlos Areces & Diana Costa, Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers. Springer Verlag. pp. 73-89.
    In the paper, we study the dynamics of coalitional ability by proposing an extension of coalition logic (CL). CL allows one to reason about what a coalition of agents is able to achieve through a joint action, no matter what agents outside of the coalition do. The proposed dynamic extension is inspired by dynamic epistemic logic, and, in particular, by action models. We call the resulting logic coalition action model logic (CAML), which, compared (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  45
    Supercover Semantics for Deontic Action Logic.Karl Nygren - 2019 - Journal of Logic, Language and Information 28 (3):427-458.
    The semantics for a deontic action logic based on Boolean algebra is extended with an interpretation of action expressions in terms of sets of alternative actions, intended as a way to model choice. This results in a non-classical interpretation of action expressions, while sentences not in the scope of deontic operators are kept classical. A deontic structure based on Simons’ supercover semantics is used to interpret permission and obligation. It is argued that these constructions provide ways (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  70
    Between Logic and Reality: Modeling Inference, Action and Understanding.Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.) - 2011 - Dordrecht and New York: Springer.
    This volume provides analyses of the logic-reality relationship from different approaches and perspectives. The point of convergence lies in the exploration of the connections between reality – social, natural or ideal – and logical structures employed in describing or discovering it. Moreover, the book connects logical theory with more concrete issues of rationality, normativity and understanding, thus pointing to a wide range of potential applications. -/- -/- The papers collected in this volume address cutting-edge topics in contemporary discussions amongst (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  67
    Privacy, deontic epistemic action logic and software agents.V. Wiegel, M. J. Van den Hoven & G. J. C. Lokhorst - 2005 - Ethics and Information Technology 7 (4):251-264.
    In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  20
    Weinberger Ota. Théorie des propositions normatives. French, with Polish and Russian summaries. Studia logica, vol. 9 , pp. 7–25.Kaunowski Jerzy. La norme, l'action et la théorie des propositions normatives. French, with Polish and Russian summaries. Studia logica, vol. 14 , pp. 99–117. [REVIEW]Hector-Neri Castaneda - 1968 - Journal of Symbolic Logic 33 (2):311-312.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961