VLDB 2026 Research / reviewers in the wild / expert
Andrew Tedder
dblp:187/4564
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Relevant epistemic logic with public announcements and common knowledgeabstractAbstract 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 |
WoLLIC | 2 |