scientific article
From MaRDI portal
Publication:3509047
zbMath1148.03009MaRDI QIDQ3509047
Eric Pacuit, J. F. A. K. van Benthem
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (26)
The information in intuitionistic logic ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ Computation as social agency: what, how and who ⋮ 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 ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Logic for update products and steps into the past ⋮ From DEL to EDL: Exploring the Power of Converse Events ⋮ A logic of intention and attempt ⋮ Exploring the tractability border in epistemic tasks ⋮ Actions as events ⋮ Reasoning about Strategies ⋮ McCarthy variations in a modal key ⋮ Finite identification from the viewpoint of epistemic update ⋮ Modeling reasoning in a social setting ⋮ Property persistence in the situation calculus ⋮ Diversity of agents and their interaction ⋮ Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge ⋮ Logic and Game Theory ⋮ Asynchronous knowledge with hidden actions in the situation calculus ⋮ Uniform strategies, rational relations and jumping automata
This page was built for publication:
