scientific article
From MaRDI portal
Publication:2904054
zbMath1254.03024MaRDI QIDQ2904054
Thomas F. III Icard, Wesley H. Holliday
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Inverse images of box formulas in modal logic ⋮ Communication pattern logic: epistemic and topological views ⋮ Bimodal logics with contingency and accident ⋮ Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic ⋮ A simple logic of concepts ⋮ Reverse public announcement operators on expanded models ⋮ Unnamed Item ⋮ Informational dynamics of epistemic possibility modals ⋮ Information dynamics and uniform substitution ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Talking About Knowledge ⋮ BELIEVING EPISTEMIC CONTRADICTIONS ⋮ Syntactic awareness in logical dynamics ⋮ Dynamic epistemic logic for implicit and explicit beliefs ⋮ Generation and selection of abductive explanations for non-omniscient agents ⋮ Introspection as an action in relational models ⋮ True lies ⋮ Epistemic Informativeness ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ DYNAMIC HYPERINTENSIONAL BELIEF REVISION ⋮ Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics
This page was built for publication:
