Publication:3509047
From MaRDI portal
zbMath1148.03009MaRDI QIDQ3509047
Eric Pacuit, J. F. A. K. van Benthem
Publication date: 1 July 2008
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
03B25: Decidability of theories and sets of sentences
03B44: Temporal logic
Related Items
Reasoning about Strategies, Temporal Aspects of the Dynamics of Knowledge, Logic and Game Theory, Belief change in branching time: AGM-consistency and iterated revision, Exploring the tractability border in epistemic tasks, McCarthy variations in a modal key, Finite identification from the viewpoint of epistemic update, Merging DEL and ETL, Automata for epistemic temporal logic with synchronous communication, Combinations of stit and actions, Preface to the special issue: Temporal logics of agency, Logic for update products and steps into the past, Actions as events, The information in intuitionistic logic, A logic of intention and attempt, Property persistence in the situation calculus, Diversity of agents and their interaction, Merging frameworks for interaction, Computation as social agency: what, how and who, Modeling reasoning in a social setting, Asynchronous knowledge with hidden actions in the situation calculus, Uniform strategies, rational relations and jumping automata, Logics of Rational Interaction, Exploring the Power of Converse Events, Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall, From DEL to EDL: Exploring the Power of Converse Events