John Lindqvist

According to our database¹, John Lindqvist authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Variations on distributed belief.

[BibT_eX]

[DOI]

CoRR, 2024

Towards Resolving Distributed Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2023

Logics for Information Aggregation.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Cautious Distributed Belief.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications - 4th International Workshop, 2022