Aybüke Özgün

J. Philos. Log., June, 2023

Arbitrary Public Announcement Logic with Memory.

[BibT_eX]

[DOI]

J. Philos. Log., February, 2023

A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence.

[BibT_eX]

[DOI]

Daira Pinto Prieto

Ronald de Haan

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2021

Dynamic Hyperintensional Belief Revision - erratum.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2021

Dynamic Hyperintensional Belief Revision.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2021

2020

Logic and Topology for Knowledge, Knowability, and Belief.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2020

The Fundamental Problem of Logical Omniscience.

[BibT_eX]

[DOI]

Peter Hawke

J. Philos. Log., 2020

2019

Announcement as effort on topological spaces.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Sophia Knight

Synth., 2019

A Topological Approach to Full Belief.

[BibT_eX]

[DOI]

J. Philos. Log., 2019

A dynamic logic for learning theory.

[BibT_eX]

[DOI]

Nina Gierasimczuk

Sonja Smets

J. Log. Algebraic Methods Program., 2019

Uncertainty About Evidence.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

The Logic of AGM Learning from Partial Observations.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

2018

Private Announcements on Topological Spaces.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Sophia Knight

Stud Logica, 2018

APAL with Memory Is Better.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

Evidence in Epistemic Logic : A Topological Perspective. (Preuves en logique épistémique : une perspective topologique).

[BibT_eX]

[DOI]

PhD thesis, 2017

Logic and Topology for Knowledge, Knowability, and Belief - Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Topo-Logic as a Dynamic-Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Quotient Dynamics: The Logic of Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

2016

Topological Subset Space Models for Belief.

[BibT_eX]

[DOI]

CoRR, 2016

Justified Belief and the Topology of Evidence.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2016

2015

The Topology of Full and Weak Belief.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2015

2014

Arbitrary Announcements on Topological Subset Spaces.

[BibT_eX]

[DOI]

Hans van Ditmarsch

Sophia Knight