Louwe B. Kuijer
Orcid: 0000-0001-6696-9023Affiliations:
- University of Liverpool, UK
According to our database1,
Louwe B. Kuijer
authored at least 30 papers
between 2012 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
1
1
2
1
2
1
1
2
1
1
2
3
1
3
2
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Log. Methods Comput. Sci., 2025
2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Varieties of Distributed Knowledge.
Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024
2023
Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ<sup>1</sup><sub>1</sub>-hard.
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023
Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023
2022
J. Log. Lang. Inf., 2022
2021
HyperLTL Satisfiability is Σ<sub>1</sub><sup>1</sup>-complete, HyperCTL* Satisfiability is Σ<sub>1</sub><sup>2</sup>-complete.
CoRR, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Dynamic Logic. New Trends and Applications, 2020
2019
Proceedings of the Logic, Language, Information, and Computation, 2019
Proceedings of the Reachability Problems - 13th International Conference, 2019
2018
Artif. Intell., 2018
2017
Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017
2016
On the Length and Depth of Temporal Formulae Distinguishing Non-bisimilar Transition Systems.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016
Proceedings of the Advances in Modal Logic 11, 2016
2015
2014
2013
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013
Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013
2012
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012