scientific article; zbMATH DE number 1453144

zbMath0956.03022MaRDI QIDQ4955425

Wiebe van der Hoek, John-Jules Ch. Meyer

Publication date: 4 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicfinite modelspossible worlds semanticsdecidabilityepistemic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (9)

Reasoning about coalitional games ⋮ A polynomial space construction of tree-like models for logics with local chains of modal connectives ⋮ Relativized common knowledge for dynamic epistemic logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity ⋮ Distributed knowledge justification logics ⋮ Proof Theory for Distributed Knowledge ⋮ Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic ⋮ Group knowledge is not always distributed (neither is it always implicit) ⋮ Public Announcement Logic with Distributed Knowledge

This page was built for publication: