Andrew Tedder

dblp:187/4564 · DBLP profile ↗
← Back
2ranked-venue papers
0as first author
2since 2021 · last 2023
0000-0002-2303-003XORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 since 2021
YearPublicationVenuePosition
2023 Relevant epistemic logic with public announcements and common knowledge
abstract
Abstract We study a version of public announcement logic with common knowledge based on the relevant logic $\textsf {R}$. Public announcements, as represented in our framework, are not necessarily truthful and accepted by all agents, nor is it assumed that beliefs are preserved under announcements. We establish a completeness result with respect to a relational semantics, and we show that an alternative semantics based on information states is dual to the relational one. We add a question-forming inquisitive disjunction operator to the language and prove a completeness result with respect to the information semantics.
Vít Puncochár, Igor Sedlár, Andrew Tedder
J. Log. Comput.3
2021 Disjunction and Negation in Information Based Semantics
Vít Puncochár, Andrew Tedder
WoLLIC2