Sonja Smets

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

2022

Netreason: Reasoning about social networks.

[BibT_eX]

[DOI]

Giuseppe Primiero

Marija Slavkovik

J. Log. Comput., 2022

Non-strict Interventionism: The Case Of Right-Nested Counterfactuals.

[BibT_eX]

[DOI]

Katrin Schulz

Kaibo Xie

J. Log. Lang. Inf., 2022

2021

Modal Logics and Group Polarization.

[BibT_eX]

[DOI]

Thomas Ågotnes

J. Log. Comput., 2021

The Logic of Quantum Programs.

[BibT_eX]

[DOI]

CoRR, 2021

Social Bot Detection as a Temporal Logic Model Checking Problem.

[BibT_eX]

[DOI]

Marija Slavkovik

Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021

2020

A Closeness- and Priority-Based Logical Study of Social Network Creation.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2020

Learning What Others Know.

[BibT_eX]

[DOI]

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

Thinking About Causation: A Causal Language with Epistemic Operators.

[BibT_eX]

[DOI]

Fausto Barbero

Katrin Schulz

Kaibo Xie

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

Further Steps Towards a Logic of Polarization in Social Networks.

[BibT_eX]

[DOI]

Thomas Ågotnes

Proceedings of the Logic and Argumentation - Third International Conference, 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

A Topological Approach to Full Belief.

[BibT_eX]

[DOI]

J. Philos. Log., 2019

A logical study of group-size based social network creation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

A dynamic logic for learning theory.

[BibT_eX]

[DOI]

Ana Lucia Vargas Sandoval

Aybüke Özgün

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

A Logical Analysis of the Interplay Between Social Influence and Friendship Selection.

[BibT_eX]

[DOI]

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

A Logical and Empirical Study of Right-Nested Counterfactuals.

[BibT_eX]

[DOI]

Katrin Schulz

Kaibo Xie

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

Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes.

[BibT_eX]

[DOI]

Carlo Proietti

Davide Grossi

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

Analyzing Echo Chambers: A Logic of Strong and Weak Ties.

[BibT_eX]

[DOI]

Thomas Ågotnes

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

2018

Beliefs supported by binary arguments.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2018

The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.

[BibT_eX]

[DOI]

Anthia Solaki

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

Beliefs Based on Evidence and Argumentation.

[BibT_eX]

[DOI]

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

2017

Preface.

[BibT_eX]

[DOI]

Maria Luisa Dalla Chiara

Soft Comput., 2017

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

[BibT_eX]

[DOI]

Soft Comput., 2017

Argument-based Belief in Topological Structures.

[BibT_eX]

[DOI]

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

The Creation and Change of Social Networks: A Logical Study Based on Group Size.

[BibT_eX]

[DOI]

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

How to Make Friends: A Logical Approach to Social Group Creation.

[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 supported by Arguments.

[BibT_eX]

[DOI]

Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016

Beliefs and Evidence in Justification Models.

[BibT_eX]

[DOI]

Virginie Fiutek

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

New logical perspectives on physics.

[BibT_eX]

[DOI]

Johan van Benthem

Synth., 2012

The dynamic turn in quantum logic.

[BibT_eX]

[DOI]

Synth., 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

2010

The Contributions of Logic to the Foundations of Physics: Foreword.

[BibT_eX]

[DOI]

Diederik Aerts

Jean Paul Van Bendegem

Stud Logica, 2010

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

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

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

2004

Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.

[BibT_eX]

[DOI]

Bob Coecke

David J. Moore