Modal logics are coalgebraic, The Computer Journal, vol.54, pp.31-41, 2011. ,
Coalgebraic semantics of modal logics: An overview, TCS, vol.412, issue.38, pp.5070-5094, 2011. ,
DOI : 10.1016/j.tcs.2011.04.023
URL : https://doi.org/10.1016/j.tcs.2011.04.023
Universal coalgebra: A theory of systems, Theoretical Computer Science, vol.249, pp.3-80, 2000. ,
Covarieties and complete covarieties, Theor. Comput. Sci, vol.260, issue.1-2, pp.71-86, 2001. ,
DOI : 10.1016/s0304-3975(00)00123-7
URL : https://doi.org/10.1016/s0304-3975(00)00123-7
A Co-Variety-Theorem for Modal Logic, Advances in Modal Logic, vol.2, 1998. ,
Logics for Coalgebras and Applications to Computer Science, 2000. ,
Coalgebraic logic, Ann. Pure Appl. Logic, vol.96, issue.1-3, pp.277-317, 1999. ,
Erratum to "coalgebraic logic, Ann. pure appl. logic, vol.96, issue.1-3, pp.241-259, 1999. ,
Coalgebraic modal logic: soundness, completeness and decidability of local consequence, Theor. Comput. Sci, vol.309, issue.1-3, pp.177-193, 2003. ,
Many-sorted coalgebraic modal logic: a model-theoretic study, ITA, vol.35, issue.1, pp.31-59, 2001. ,
Coalgebras and modal logic, Electr. Notes Theor. Comput. Sci, vol.33, pp.294-315, 2000. ,
Equational logic of polynomial coalgebras, AIML 2002, pp.149-184, 2002. ,
A compositional approach to defining logics for coalgebras, Theor. Comput. Sci, vol.327, issue.1-2, pp.45-69, 2004. ,
Modular construction of complete coalgebraic logics, Theor. Comput. Sci, vol.388, issue.1-3, pp.83-108, 2007. ,
Final coalgebras and the hennessy-milner property, Ann. Pure Appl. Logic, vol.138, issue.1-3, pp.77-93, 2006. ,
Characterising behavioural equivalence: Three sides of one coin, Proceedings, pp.97-112, 2009. ,
, 6th Conference on Algebra and Coalgebra in Computer Science, vol.35, pp.221-237, 2015.
Expressivity of coalgebraic modal logic: The limits and beyond, Theoretical Computer Science, vol.390, issue.2, pp.230-247, 2008. ,
Stone coalgebras, Theoretical Computer Science, vol.327, pp.109-134, 2004. ,
Final coalgebras for functors on measurable spaces, Inf. Comput, vol.204, issue.4, pp.610-636, 2006. ,
Algebraic semantics for coalgebraic modal logic, Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS), vol.106, 2004. ,
Coalgebraic modal logic beyond sets, ENTCS, vol.173, pp.177-201, 2007. ,
Exemplaric expressivity of modal logics, J. Log. Comput, vol.20, issue.5, pp.1041-1068, 2010. ,
The positivication of coalgebraic logics, CALCO 2017, vol.72, p.15, 2017. ,
Bialgebraic methods and modal logic in structural operational semantics, Inf. Comput, vol.207, issue.2, pp.237-257, 2009. ,
Coalgebraic trace semantics via forgetful logics, Logical Methods in Computer Science, vol.12, issue.4, 2016. ,
Trace semantics for coalgebras, ENTCS, vol.106, pp.167-184, 2004. ,
Relators and Metric Bisimulation, Extended Abstract). Electronic Notes in Theoretical Computer Science, vol.11, pp.1-7, 1998. ,
Coalgebraic automata theory: Basic results, Logical Methods in Computer Science, vol.4, issue.4, 2008. ,
Completeness for the coalgebraic cover modality, Logical Methods in Computer Science, vol.8, issue.3, 2012. ,
Proof systems for Moss' coalgebraic logic, Theor. Comput. Sci, vol.549, pp.36-60, 2014. ,
Completions of µ-algebras, Annals of Pure and Applied Logic, vol.154, issue.1, pp.27-50, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-01288855
Automata and fixpoint logics: a coalgebraic perspective, Inf. Comp, vol.204, pp.637-678, 2006. ,
Automata for coalgebras: an approach using predicate liftings, Proc. ICALP 2010, vol.6199, pp.381-392, 2010. ,
EXPTIME tableaux for the coalgebraic µ-calculus, Logical Methods in Computer Science, vol.7, issue.3, 2011. ,
PSPACE Bounds for Rank-1 Modal Logics, ACM Trans. Comput. Logic, vol.10, issue.2, p.33, 2009. ,
Completeness for flat modal fixpoint logics, Ann. Pure Appl. Logic, vol.162, issue.1, pp.55-82, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00346782
Flat coalgebraic fixed point logics, CONCUR 2010, vol.6269, pp.524-538, 2010. ,
Weak completeness of coalgebraic dynamic logics, FICS 2015, pp.90-104, 2015. ,
Completeness for coalgebraic fixpoint logic, CSL 2016, vol.7, p.19, 2016. ,
Parity games and automata for game logic, DALI 2017, vol.10669, pp.115-132, 2018. ,
Games for topological fixpoint logic, GandALF 2016, vol.226, pp.46-60, 2016. ,
Angluin learning via logic, LFCS 2018, vol.10703, pp.72-90, 2018. ,
Learning regular sets from queries and counterexamples, Information and Computation, vol.75, issue.2, pp.87-106, 1987. ,
A compositional treatment of iterated open games, 2017. ,
A compositional approach to economic game theory, 2016. ,