Alexandru Baltag

Johan van Benthem

CoRR, 2024

Logics for Data Exchange and Communication.

[BibT_eX]

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence.

[BibT_eX]

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

The Topological Mu-Calculus: Completeness and Decidability.

[BibT_eX]

[DOI]

David Fernández-Duque

J. ACM, October, 2023

Arbitrary Public Announcement Logic with Memory.

[BibT_eX]

[DOI]

J. Philos. Log., February, 2023

2022

A Modal Logic for Supervised Learning.

[BibT_eX]

[DOI]

Dazhu Li

Mina Young Pedersen

J. Log. Lang. Inf., 2022

A Logical Analysis of Dynamic Dependence.

[BibT_eX]

[DOI]

Johan van Benthem

Dazhu Li

CoRR, 2022

Logics for Epistemic Actions: Completeness, Decidability, Expressivity.

[BibT_eX]

[DOI]

Lawrence S. Moss

Slawomir Solecki

CoRR, 2022

The Topology of Surprise.

[BibT_eX]

[DOI]

David Fernández-Duque

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

A Simple Logic of Functional Dependence.

[BibT_eX]

[DOI]

Johan van Benthem

J. Philos. Log., 2021

The Logic of Quantum Programs.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Learning What Others Know.

[BibT_eX]

[DOI]

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

2019

Truth-Tracking by Belief Revision.

[BibT_eX]

[DOI]

Stud Logica, 2019

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.

[BibT_eX]

[DOI]

Stud Logica, 2019

The probabilistic logic of communication and change.

[BibT_eX]

[DOI]

Andreea Achimescu

Joshua Sack

J. Log. Comput., 2019

A Topological Approach to Full Belief.

[BibT_eX]

[DOI]

J. Philos. Log., 2019

A dynamic logic for learning theory.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Learning Probabilities: Towards a Logic of Statistical Learning.

[BibT_eX]

[DOI]

Soroush Rafiee Rad

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

The McKinsey-Tarski Theorem for Topological Evidence Logics.

[BibT_eX]

[DOI]

Saúl Fernández González

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

Topological Evidence Logics: Multi-agent Setting.

[BibT_eX]

[DOI]

Saúl Fernández González

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

The Logic of AGM Learning from Partial Observations.

[BibT_eX]

[DOI]

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

On the Right Path: A Modal Logic for Supervised Learning.

[BibT_eX]

[DOI]

Dazhu Li

Mina Young Pedersen

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018

Bisimulation for Conditional Modalities.

[BibT_eX]

[DOI]

Giovanni Ciná

Stud Logica, 2018

APAL with Memory Is Better.

[BibT_eX]

[DOI]

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

2017

Modeling correlated information change: from conditional beliefs to quantum conditionals.

[BibT_eX]

[DOI]

Soft Comput., 2017

Topo-Logic as a Dynamic-Epistemic Logic.

[BibT_eX]

[DOI]

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

Evidence Logics with Relational Evidence.

[BibT_eX]

[DOI]

Andrés Occhipinti Liberman

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

Justified Belief and the Topology of Evidence.

[BibT_eX]

[DOI]

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

Beliefs and Evidence in Justification Models.

[BibT_eX]

[DOI]

Virginie Fiutek

Proceedings of the Advances in Modal Logic 11, 2016

To Know is to Know the Value of a Variable.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

2015

Logics of Informational Interactions.

[BibT_eX]

[DOI]

J. Philos. Log., 2015

Revisable Justified Belief: Preliminary Report.

[BibT_eX]

[DOI]

Bryan Renne

CoRR, 2015

On the Solvability of Inductive Problems: A Study in Epistemic Topology.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

The Topology of Full and Weak Belief.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2015

2014

The logic of justified belief, explicit knowledge, and conclusive evidence.

[BibT_eX]

[DOI]

Bryan Renne

Ann. Pure Appl. Log., 2014

2013

Protocols for belief merge: Reaching agreement via communication.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Quantum Probabilistic Dyadic Second-Order Logic.

[BibT_eX]

[DOI]

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

The Topology of Belief, Belief Revision and Defeasible Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012

The dynamic turn in quantum logic.

[BibT_eX]

[DOI]

Synth., 2012

A Dynamic-Epistemic Logic for Mobile Structured Agents

[BibT_eX]

[DOI]

Anya Yermakova

CoRR, 2012

The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge.

[BibT_eX]

[DOI]

Bryan Renne

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

2011

Quantum logic as a dynamic logic.

[BibT_eX]

[DOI]

Synth., 2011

Belief revision as a truth-tracking process.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

2009

Keep 'hoping' for rationality: a solution to the backward induction paradox.

[BibT_eX]

[DOI]

Jonathan A. Zvesper

Synth., 2009

Correlated Information: A Logic for Multi-Partite Quantum Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Talking Your Way into Agreement: Belief Merge by Persuasive Communication.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

2008

Probabilistic dynamic belief revision.

[BibT_eX]

[DOI]

Synth., 2008

A Dynamic-Logical Perspective on Quantum Behavior.

[BibT_eX]

[DOI]

Stud Logica, 2008

'Knowable' as 'known after an announcement'.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2008

2007

Epistemic Actions as Resources.

[BibT_eX]

[DOI]

Bob Coecke

Mehrnoosh Sadrzadeh

J. Log. Comput., 2007

From conditional probability to the logic of doxastic actions.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability.

[BibT_eX]

[DOI]

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

2006

LQP: the dynamic logic of quantum information.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

The Algebra of Multi-Agent Dynamic Belief Revision.

[BibT_eX]

[DOI]

Mehrnoosh Sadrzadeh

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

2004

Logics for Epistemic Programs.

[BibT_eX]

[DOI]

Lawrence S. Moss

Synth., 2004

Algebra and Sequent Calculus for Epistemic Actions.

[BibT_eX]

[DOI]

Bob Coecke

Mehrnoosh Sadrzadeh

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

2003

A Coalgebraic Semantics for Epistemic Programs.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

2000

A Logic for Coalgebraic Simulation.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

Interpolation and Preservation for Pebble Logics.

[BibT_eX]

[DOI]

J. Symb. Log., 1999

STS: A Structural Theory of Sets.

[BibT_eX]

[DOI]

Log. J. IGPL, 1999

1998

The Logic of Public Announcements and Common Knowledge and Private Suspicions.

[BibT_eX]