scientific article; zbMATH DE number 5046355
From MaRDI portal
Publication:5483001
zbMath1102.03015MaRDI QIDQ5483001
Ron van der Meyden, Tim French, M. A. Reynolds
Publication date: 15 August 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)
Related Items (4)
Logics of Rational Interaction ⋮ A sequent calculus for logic of knowledge and past time: completeness and decidability ⋮ Some comments on history based structures ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
This page was built for publication:
