Sebastian Enqvist

Graham E. Leigh

Log. J. IGPL, January, 2024

2022

The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games.

[BibT_eX]

[DOI]

Valentin Goranko

ACM Trans. Comput. Log., 2022

2020

The temporal logic of coalitional goal assignments in concurrent multi-player games.

[BibT_eX]

[DOI]

Valentin Goranko

CoRR, 2020

A circular proof system for the hybrid mu-calculus.

[BibT_eX]

[DOI]

CoRR, 2020

Duality for Instantial Neighbourhood Logic via Coalgebra.

[BibT_eX]

[DOI]

Jim de Groot

Proceedings of the Coalgebraic Methods in Computer Science, 2020

A Circular Proof System for the Hybrid μ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

A Propositional Dynamic Logic for Instantial Neighborhood Semantics.

[BibT_eX]

[DOI]

Stud Logica, 2019

Disjunctive bases: normal forms and model theory for modal logics.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2019

A New Game Equivalence, its Logic and Algebra.

[BibT_eX]

[DOI]

J. Philos. Log., 2019

Completeness for <i>μ</i>-calculi: A coalgebraic approach.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2019

Completeness for Game Logic.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

Completeness for the modal <i>μ</i>-calculus: Separating the combinatorics from the dynamics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Bisimulations for coalgebras on Stone spaces.

[BibT_eX]

[DOI]

Sumit Sourabh

J. Log. Comput., 2018

Flat modal fixpoint logics with the converse modality.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Socially Friendly and Group Protecting Coalition Logics.

[BibT_eX]

[DOI]

Valentin Goranko

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Instantial Neighbourhood Logic.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2017

An expressive completeness theorem for coalgebraic modal mu-calculi.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

A New Game Equivalence and its Modal Logic.

[BibT_eX]

[DOI]

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

A Propositional Dynamic Logic for Instantial Neighborhood Models.

[BibT_eX]

[DOI]

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

Disjunctive Bases: Normal Forms for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

A new coalgebraic Lindström theorem.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

Completeness for Coalgebraic Fixpoint Logic.

[BibT_eX]

[DOI]

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Expressiveness of the modal mu-calculus on monotone neighborhood structures.

[BibT_eX]

[DOI]

CoRR, 2015

Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Generalized Vietoris Bisimulations.

[BibT_eX]

[DOI]

Sumit Sourabh

CoRR, 2014

A Coalgebraic View of Characteristic Formulas in Equational Modal Fixed Point Logics.

[BibT_eX]

[DOI]

Joshua Sack

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2013

A General Lindström Theorem for Some Normal Modal Logics.

[BibT_eX]

[DOI]

Logica Universalis, 2013

Homomorphisms of Coalgebras from Predicate Liftings.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

Interrogative Belief Revision Based on Epistemic Strategies.

[BibT_eX]

[DOI]

Stud Logica, 2012

Modelling epistemic actions in interrogative belief revision.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

2011

A Structuralist Framework for the Logic of Theory Change.

[BibT_eX]

[DOI]

Proceedings of the Belief Revision meets Philosophy of Science, 2011

2009

Interrogative Belief Revision in Modal Logic.

[BibT_eX]

[DOI]