56 found
Order:
  1. 'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.
    Public announcement logic is an extension of multiagent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agents. We propose an extension of public announcement logic with a dynamic modal operator that expresses what is true after any announcement: after which , does it hold that Kφ? We give various semantic results and show completeness for a Hilbert-style axiomatization of this logic. There is a natural generalization to a logic for arbitrary events.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  2.  89
    Alternative axiomatics and complexity of deliberative stit theories.Philippe Balbiani, Andreas Herzig & Nicolas Troquard - 2008 - Journal of Philosophical Logic 37 (4):387 - 406.
    We propose two alternatives to Xu’s axiomatization of Chellas’s STIT. The first one simplifies its presentation, and also provides an alternative axiomatization of the deliberative STIT. The second one starts from the idea that the historic necessity operator can be defined as an abbreviation of operators of agency, and can thus be eliminated from the logic of Chellas’s STIT. The second axiomatization also allows us to establish that the problem of deciding the satisfiability of a STIT formula without temporal operators (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  3. 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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  4. Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  5.  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  
  6.  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  
  7. 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 logic operators of action and (historic) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  13
    Propositional belief base update and minimal change.Andreas Herzig & Omar Rifi - 1999 - Artificial Intelligence 115 (1):107-138.
  9.  21
    A lightweight epistemic logic and its application to planning.Martin C. Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin & Pierre Régnier - 2021 - Artificial Intelligence 298 (C):103437.
  10.  24
    Introspective forgetting.Hans Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  11. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  13
    Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.Philippe Balbiani, David Fernández-Duque, Andreas Herzig & Petar Iliev - 2022 - Logic Journal of the IGPL 30 (1):155-185.
    We introduce frame-equivalence games tailored for reasoning about the size, modal depth, number of occurrences of symbols and number of different propositional variables of modal formulae defining a given frame property. Using these games, we prove lower bounds on the above measures for a number of well-known modal axioms; what is more, for some of the axioms, we show that they are optimal among the formulae defining the respective class of frames.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  7
    From ordering-based nonmonotonic reasoning to conditional logics.Luis Fariñas del Cerro, Andreas Herzig & Jérôme Lang - 1994 - Artificial Intelligence 66 (2):375-393.
  14. Metatheory of Actions: Beyond Consistency.Andreas Herzig & Ivan Varzinczak - 2007 - Artificial Intelligence 171 (1):951–984.
    Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  15.  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  
  16.  17
    Before announcement.Philippe Balbiani, Hans van Ditmarsch & Andreas Herzig - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 58-77.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  29
    A Logic Of Trust And Reputation.Andreas Herzig, Emiliano Lorini, Jomi Hübner & Laurent Vercouter - 2010 - Logic Journal of the IGPL 18 (1):214-244.
    The aim of this paper is to present a logical framework in which the concepts of trust and reputation can be formally characterized and their properties studied. We start from the definition of trust proposed by Castelfranchi & Falcone . We formalize this definition in a logic of time, action, beliefs and choices. Then, we provide a refinement of C&F’s definition by distinguishing two general types of trust: occurrent trust and dispositional trust. In the second part of the paper we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  18.  16
    Possible Worlds Semantics Based on Observation and Communication.Faustine Maffre, Emiliano Lorini & Andreas Herzig - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 339-362.
    We analyze a recent trend in epistemic logic which consists in studying construction of knowledge from the agents’ observational abilities. It is based on the intuition that an agent’s knowledge comes from three possible sources: her observations, communication with other agents, and inference. The approaches mainly focus on the former two and suppose that the object of observations are propositional variables and that agents learn from public announcements. This allows to model knowledge in a more compact and intuitive way than (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  19.  91
    Conditionals: from philosophy to computer science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  4
    Action Theories.Andreas Herzig, Emiliano Lorini & Nicolas Troquard - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 591-607.
    We present the main logical theories of action. We distinguish theories identifying an action with its result from theories studying actions in terms of both their results and the means that result is obtained. The first family includes most prominently the logic of seeing-to-it-that and the logic of bringing-it-about-that. The second includes propositional dynamic logic and its variants. For all these logics we overview their extensions by other modalities such as modal operators of knowledge, belief, and obligation.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  9
    Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  19
    A logic of trust and reputation.Andreas Herzig, Emiliano Lorini, France Jomi F. Hübner & Laurent Vercouter - 2010 - Logic Journal of the IGPL 18 (1).
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  23
    Capturing equilibrium models in modal logic.Luis Fariñas del Cerro, Andreas Herzig & Ezgi Iraz Su - 2014 - Journal of Applied Logic 12 (2):192-207.
  24.  20
    Some Truths Are Best Left Unsaid.Philippe Baldiani, Hans van Ditmarsch, Andreas Herzig & Tiago de Lima - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 36-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  18
    Some Truths Are Best Left Unsaid.Philippe Baldiani, Hans van Ditmarsch, Andreas Herzig & Tiago de Lima - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 36-54.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  22
    On the dynamics of institutional agreements.Andreas Herzig, Tiago Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321-355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\rm A}_{G:x} \varphi$$\end{document} reading ‘if the agents in the set of agents G identify themselves with institution x then they together accept that \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} ’. We extend acceptance logic by two kinds of dynamic modal operators. The first (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  8
    Conditionals: from philosophy to computer science.Gabriella Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Oxford University Press.
    Internationally recognized logicians present current thinking on the understanding of the role of deduction in human reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  17
    Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  18
    A translation from the modal logic of provability into K4.Philippe Balbiani & Andreas Herzig - 1994 - Journal of Applied Non-Classical Logics 4 (1):73-77.
  30.  9
    Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard.Sylvie Doutre, Andreas Herzig & Anthony Hunter - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):207-211.
    1. In this special issue of the Journal of Applied Non-Classical Logics, we aim to celebrate the recent retirement of Philippe Besnard as directeur de recherche in the Centre National de Recherche...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    Logic of Action from the Perspective of Knowledge Representation.Andreas Herzig, Emiliano Lorini & Elise Perrotin - 2024 - In Jacek Malinowski & Rafał Palczewski (eds.), Janusz Czelakowski on Logical Consequence. Springer Verlag. pp. 401-418.
    Taking the perspective of knowledge representation, we introduce a simple logic of agency where the agents’ actions are described by their precondition and effects and whose semantics is based on the concept of attempt. We give its syntax, semantics, and axiomatics and discuss the relation with other proposals, in particular Belnap and Horty’s ‘branching time and agent choice’ semantics (BT+AC) and Czelakowski’s relational semantics.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  36
    Public announcements, public assignments and the complexity of their logic.Hans van Ditmarsch, Andreas Herzig & Tiago De Lima - 2012 - Journal of Applied Non-Classical Logics 22 (3):249-273.
    We study the extension of public announcement logic PAL by public assignments, which we call PALA. Just as in the case of PAL, the standard procedure for deciding PALA validity, i.e. the use of so-called reduction axioms to translate PALA formulae into formulae in epistemic logic EL, may lead to exponential growth. In this paper, we show that such a price is not mandatory, for we provide a polynomial translation of PALA into EL. This is based on abbreviations of subformulae (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. On the Dynamics of Institutional Agreements.Andreas Herzig, Tiago de Lima & Emiliano Lorini - 2009 - Synthese 171 (2):321 - 355.
    In this paper we investigate a logic for modelling individual and collective acceptances that is called acceptance logic. The logic has formulae of the form $A_{Gx} \phi $ reading 'if the agents in the set of agents G identify themselves with institution x then they together accept that φ'. We extend acceptance logic by two kinds of dynamic modal operators. The first kind are public announcements of the form x!ψ, meaning that the agents learn that ψ is the case in (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  30
    Foreword.Philippe Balbiani, Luis Fariñas Del Cerro & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):138-138.
  35.  97
    Computer-mediated trust in self-interested expert recommendations.Jonathan Ben-Naim, Jean-François Bonnefon, Andreas Herzig, Sylvie Leblois & Emiliano Lorini - 2010 - AI and Society 25 (4):413-422.
    Important decisions are often based on a distributed process of information processing, from a knowledge base that is itself distributed among agents. The simplest such situation is that where a decision-maker seeks the recommendations of experts. Because experts may have vested interests in the consequences of their recommendations, decision-makers usually seek the advice of experts they trust. Trust, however, is a commodity that is usually built through repeated face time and social interaction and thus cannot easily be built in a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  23
    Foreword.Philippe Besnard & Andreas Herzig - 2005 - Journal of Applied Non-Classical Logics 15 (1):8-8.
  37.  38
    Foreword.Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek & Jérôme Lang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):263-264.
  38.  32
    A short biography of Luis Fariñas del Cerro.Pedro Cabalar, Martín Diéguez, Andreas Herzig & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (3):153-160.
    Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  25
    Foreword.Samir Chopra & Andreas Herzig - 2001 - Journal of Applied Non-Classical Logics 11 (1-2):8-10.
  40. An automated modal logic for elementary changes.L. Fariñas Del Cerro & Andreas Herzig - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press.
     
    Export citation  
     
    Bookmark  
  41. Logics in Artificial Intelligence.Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.) - 2012 - Springer.
  42.  9
    Terminating modal tableaux with simple completeness proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 167-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  6
    Terminating modal tableaux with simple completeness proof.Olivier Gasquet, Andreas Herzig & Mohamad Sahade - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 167-186.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  25
    Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.
    Dynamic epistemic logics provide an account of the evolution of agents’ belief and knowledge when they learn the occurrence of an event. These logics started to become popular about 20 years ago and by now there exists a huge number of publications about them. The present paper briefly summarises the existing body of literature, discusses some problems and shortcomings, and proposes some avenues for future research.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  9
    Foreword.Andreas Herzig, Luis Fariñas Del Cerro & Philippe Balbiani - 2010 - Journal of Applied Non-Classical Logics 20 (4):312-312.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  20
    Letter from the Editor.Andreas Herzig - 2015 - Journal of Applied Non-Classical Logics 25 (1):1-1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    Preface.Andreas Herzig, Emiliano Lorini & David Pearce - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):90-90.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  48.  34
    Social Intelligence.Andreas Herzig, Emiliano Lorini & David Pearce - 2019 - AI and Society 34 (4):689-689.
  49.  20
    Social Intelligence.Andreas Herzig, Emiliano Lorini & David Pearce - 2019 - AI and Society 34 (4):689-689.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. On Modal Logics of Group Belief.Emiliano Lorini, Dominique Longin, Andreas Herzig & Benoit Gaudou - 2015 - In Emiliano Lorini & Andreas Herzig (eds.), The Cognitive Foundations of Group Attitudes and Social Interaction. Cham: Springer.
     
    Export citation  
     
    Bookmark  
1 — 50 / 56