scientific article; zbMATH DE number 2149447
From MaRDI portal
Publication:4661972
zbMath1067.03025MaRDI QIDQ4661972
Wiebe van der Hoek, Barteld P. Kooi, Hans P. van Ditmarsch
Publication date: 30 March 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
action languageepistemic actionshigher-order knowledgehigher-order informationmultiagent strategic decision making
Decision theory (91B06) Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Decision theory for games (91A35)
Related Items (11)
Minimal Proof Search for Modal Logic K Model Checking ⋮ Towards a theory of intention revision ⋮ Group Belief ⋮ A modal type theory for formalizing trusted communications ⋮ Knowledge updates: Semantics and complexity issues ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Model checking propositional dynamic logic with all extras ⋮ Inexact knowledge with introspection ⋮ Tableau Method and NEXPTIME-Completeness of DEL-Sequents ⋮ Dynamic epistemic logic with communication actions ⋮ Copy and remove as dynamic operators
This page was built for publication:
