Quantified epistemic logics for reasoning about knowledge in multi-agent systems

&
Artificial Intelligence 173 (9-10):982-1013 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2009.02.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,475

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Distributed Knowledge Justification Logics.Ghari Meghdad - 2014 - Theory of Computing Systems 55 (1):1--40.
Free Quantified Epistemic Logics.Giovanna Corsi & Eugenio Orlandelli - 2013 - Studia Logica 101 (6):1159-1183.
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.B. Dunin-Keplicz & R. Verbrugge - 2013 - Logic Journal of the IGPL 21 (3):309-310.
When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?Wesley H. Holliday, Yifeng Ding & Cedegao Zhang - 2019 - Electronic Proceedings in Theoretical Computer Science 297:121–139.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Foreword to Special issue on Logics for Multi-agent Systems.Valentin Goranko & Wojciech Jamroga - 2011 - Journal of Applied Non-Classical Logics 21 (1):7-8.
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.
Beyond Knowing That: A New Generation of Epistemic Logics.Yanjing Wang - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Jaakko Hintikka on Knowledge and Game Theoretical Semantics. Cham, Switzerland: Springer. pp. 499-533.
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Converse-PDL with regular inclusion axioms: a framework for MAS logics.Barbara Dunin-Kęplicz, Linh Anh Nguyen & Andrzej Szalas - 2011 - Journal of Applied Non-Classical Logics 21 (1):61-91.
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.
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. Springer. pp. 202-218.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,183,881)

6 months
7 (#419,843)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.

Add more citations

References found in this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
An actualistic semantics for quantified modal logic.Thomas Jager - 1982 - Notre Dame Journal of Formal Logic 23 (3):335-349.
Decidable fragments of first-order temporal logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.
Game logic and its applications I.Mamoru Kaneko & Takashi Nagashima - 1996 - Studia Logica 57 (2-3):325 - 354.

View all 19 references / Add more references