scientific article
From MaRDI portal
Publication:3918094
zbMath0466.03005MaRDI QIDQ3918094
Martin J. B. Stokhof, Peter van Emde Boas, Jeroen Groenendijk
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
possible world semanticsincomplete information gameepistemic modeltermination resultcorrectness of recursive programsinformation of language users
Game theory (91A99) 2-person games (91A05) Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99)
Related Items (3)
An epistemic separation logic with action models ⋮ Dynamics of lying ⋮ Comments to `Logics of public communications'
This page was built for publication:
