Complexity and succinctness of public announcement logic
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Quantifying over coalitions in epistemic logic
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Dynamic Epistemic Logic and Knowledge Puzzles
ICCS '07 Proceedings of the 15th international conference on Conceptual Structures: Knowledge Architectures for Smart Applications
Propositional Dynamic Logic as a Logic of Belief Revision
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Refinement of Kripke Models for Dynamics
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
From DEL to EDL: Exploring the Power of Converse Events
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Diversity of Agents and Their Interaction
Journal of Logic, Language and Information
AI '08 Proceedings of the 21st Australasian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Decisions, Actions, and Games: A Logical Perspective
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
Completeness Results for Memory Logics
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
Learning by Erasing in Dynamic Epistemic Logic
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Prolegomena to Dynamic Epistemic Preference Logic
New Frontiers in Artificial Intelligence
Channels: From Logic to Probability
Formal Theories of Information
Rational choice and AGM belief revision
Artificial Intelligence
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Agreement theorems in dynamic-epistemic logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Evidence elimination in multi-agent justification logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Verifying epistemic protocols under common knowledge
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
From Belief Change to Preference Change
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Observational Effort and Formally Open Mappings
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Knowledge forgetting: Properties and applications
Artificial Intelligence
Strategic Ability Update: A Modal Logic Account
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Awareness and Forgetting of Facts and Agents
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Knowing more: from global to local correspondence
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Tableaux and Model Checking for Memory Logics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Fusion and mining spatial data in cyber-physical space with dynamic logic of phenomena
IJCNN'09 Proceedings of the 2009 international joint conference on Neural Networks
A verification framework for agent knowledge
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Axiomatization and completeness of lexicographic products of modal logics
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Taming the complexity of temporal epistemic reasoning
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Beyond public announcement logic: an alternative approach to some AI puzzles
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Attributing distributed responsibility in stit logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Agreement theorems in dynamic-epistemic logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Learning and teaching as a game: a sabotage approach
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Twelve angry men: a study on the fine-grain of announcements
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Epistemic games in modal logic: joint actions, knowledge and preferences all together
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic logic of finite identification
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Dynamic epistemic temporal logic
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
An update operator for strategic ability
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
Logic programming for finding models in the logics of knowledge and its applications: A case study
Theory and Practice of Logic Programming
Journal of Logic, Language and Information
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
Privacy policies with modal logic: the dynamic turn
DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science
Preference change triggered by belief change: a principled approach
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
A runs-and-systems semantics for logics of announcements
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Using perseus system for modelling epistemic interactions
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Description logics for relative terminologies
ESSLLI'08/09 Proceedings of the 2008 international conference on Interfaces: explorations in logic, language and computation
Group announcements: logic and games
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Iterated belief change in the situation calculus
Artificial Intelligence
McCarthy variations in a modal key
Artificial Intelligence
A logic for reasoning about counterfactual emotions
Artificial Intelligence
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
ICLA'11 Proceedings of the 4th Indian conference on Logic and its applications
Obligationes as Formal Dialogue Systems
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
Finite identification from the viewpoint of epistemic update
Information and Computation
Learning in a changing world, an algebraic modal logical approach
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Logics for information systems and their dynamic extensions
ACM Transactions on Computational Logic (TOCL)
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
The synchronicity of dynamic epistemic logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Sigma algebras in probabilistic epistemic dynamics
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Generalized arrow update logic
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
A note on a generalization of the Muddy Children puzzle
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
On representing actions in multi-agent domains
Logic programming, knowledge representation, and nonmonotonic reasoning
A Hybrid Public Announcement Logic with Distributed Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Partial realization in dynamic justification logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Dynamic epistemic algebra with post-conditions to reason about robot navigation
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Relating truth, knowledge and belief in epistemic states
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Reasoning about local properties in modal logic
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logic of questions and public announcements
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Intention change via local assignments
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Agents that speak: modelling communicative plans and information sources in a logic of announcements
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
NO Revision and NO Contraction
Minds and Machines
Annals of Mathematics and Artificial Intelligence
Studia Logica
Dynamic Logics of Evidence-Based Beliefs
Studia Logica
Using the perseus system for modelling epistemic interactions
Transactions on computational collective intelligence V
A modal framework for relating belief and signed information
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
On the definability of simulability and bisimilarity by finite epistemic models
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Invariance properties of quantifiers and multiagent information exchange
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Schematic validity in dynamic epistemic logic: decidability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
DEL planning and some tractable cases
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Mathematics of public announcements
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Logics of belief over weighted structures
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An epistemic logic with hypotheses
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Public announcement logic with distributed knowledge
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
An alternative logic for knowability
LORI'11 Proceedings of the Third international conference on Logic, rationality, and interaction
Tableau Method and NEXPTIME-Completeness of DEL-Sequents
Electronic Notes in Theoretical Computer Science (ENTCS)
Argumentation in the view of modal logic
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
A logic for knowledge flow in social networks
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
On the interactions of awareness and certainty
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Local properties in modal logic
Artificial Intelligence
Manipulating boolean games through communication
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
A dynamic logic for privacy compliance
Artificial Intelligence and Law - Special issue on Deontic Logic and Normative Systems
Conditioning and Interpretation Shifts
Studia Logica
Combining epistemic logic and hennessy-milner logic
Logic and Program Semantics
Action models for knowledge and awareness
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Epistemic coalition logic: completeness and complexity
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A logic of revelation and concealment
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Higher-order social cognition in rock-paper-scissors: a simulation study
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Strategic voting and the logic of knowledge
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Epistemic profiles and belief structures
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Logics for security and privacy
DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy
A computationally grounded dynamic logic of agency, with an application to legal actions
DEON'12 Proceedings of the 11th international conference on Deontic Logic in Computer Science
Epistemic logic, relevant alternatives, and the dynamics of context
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Modeling semantic competence: a critical review of frege's puzzle about identity
ESSLLI'10 Proceedings of the 2010 international conference on New Directions in Logic, Language and Computation
Actions, preferences, and logic programs
Canadian AI'12 Proceedings of the 25th Canadian conference on Advances in Artificial Intelligence
Public Announcement Logic in Geometric Frameworks
Fundamenta Informaticae
A PDL-like logic of knowledge acquisition
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Conditional epistemic planning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Completeness theorems for reactive modal logics
Annals of Mathematics and Artificial Intelligence
EUMAS'11 Proceedings of the 9th European conference on Multi-Agent Systems
A general representation and approximate inference algorithm for sensing actions
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Logic and AI in China: An Introduction
Minds and Machines
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Minds and Machines
Probabilistic stit logic and its decomposition
International Journal of Approximate Reasoning
On the succinctness of some modal logics
Artificial Intelligence
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Coalgebraic announcement logics
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
Public announcements under sheaves
JSAI-isAI'12 Proceedings of the 2012 international conference on New Frontiers in Artificial Intelligence
An epistemic perspective on consistency of concurrent computations
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
ACM Transactions on Computational Logic (TOCL)
Undecidability in epistemic planning
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An alternative axiomatization of DEL and its applications
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Knowing that, knowing what, and public communication: public announcement logic with Kv operators
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Multi-agent epistemic explanatory diagnosis via reasoning about actions
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An update logic for information systems
International Journal of Approximate Reasoning
Hidden protocols: Modifying our expectations in an evolving world
Artificial Intelligence
Arbitrary Action Model Logic and Action Model Synthesis
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction into the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented.