Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
RAIRO-Theor. Inf. Appl., 35 1 (2001) 31-59
Published online: 2002-04-15
Articles citing this article
The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).
Cited article:
This article has been cited by the following article(s):
Topology-free type structures with conditioning events
Pierfrancesco GuarinoEconomic Theory 79 (4) 1107 (2025)
https://doi.org/10.1007/s00199-024-01621-5
13710 81 (2023)
https://doi.org/10.1007/978-3-031-43345-0_4
Programming Languages and Systems
Guilhem Jaber and Colin RibaLecture Notes in Computer Science, Programming Languages and Systems 12648 548 (2021)
https://doi.org/10.1007/978-3-030-72019-3_20
Dynamics, Uncertainty and Reasoning
Jie FanLogic in Asia: Studia Logica Library, Dynamics, Uncertainty and Reasoning 117 (2019)
https://doi.org/10.1007/978-981-13-7791-4_6
Well-definedness and observational equivalence for inductive–coinductive programs
Henning Basold and Helle Hvid HansenJournal of Logic and Computation 29 (4) 419 (2019)
https://doi.org/10.1093/logcom/exv091
Bisimulation proof methods in a path-based specification language for polynomial coalgebras
XIAO-CONG ZHOU, YONG-JI LI, WEN-JUN LI, HAI-YAN QIAO and ZHONG-MEI SHUMathematical Structures in Computer Science 25 (4) 765 (2015)
https://doi.org/10.1017/S0960129513000030
Completeness for the coalgebraic cover modality
Clemens Kupke, Alexander Kurz and Yde VenemaLogical Methods in Computer Science Volume 8, Issue 3 (2012)
https://doi.org/10.2168/LMCS-8(3:2)2012
Coalgebraic semantics of modal logics: An overview
Clemens Kupke and Dirk PattinsonTheoretical Computer Science 412 (38) 5070 (2011)
https://doi.org/10.1016/j.tcs.2011.04.023
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
LUTZ SCHRÖDER and DIRK PATTINSONMathematical Structures in Computer Science 21 (2) 235 (2011)
https://doi.org/10.1017/S0960129510000563
A coalgebraic approach to non-determinism: Applications to multilattices
I.P. Cabrera, P. Cordero, G. Gutiérrez, J. Martínez and M. Ojeda-AciegoInformation Sciences 180 (22) 4323 (2010)
https://doi.org/10.1016/j.ins.2010.07.002
Exemplaric Expressivity of Modal Logics
B. Jacobs and A. SokolovaJournal of Logic and Computation 20 (5) 1041 (2010)
https://doi.org/10.1093/logcom/exn093
Rank-1 Modal Logics are Coalgebraic
L. Schroder and D. PattinsonJournal of Logic and Computation 20 (5) 1113 (2010)
https://doi.org/10.1093/logcom/exn096
Deduction Systems for Coalgebras Over Measurable Spaces
R. GoldblattJournal of Logic and Computation 20 (5) 1069 (2010)
https://doi.org/10.1093/logcom/exn092
Presenting functors on many-sorted varieties and applications
Alexander Kurz and Daniela PetrişanInformation and Computation 208 (12) 1421 (2010)
https://doi.org/10.1016/j.ic.2009.11.007
49 (2009)
https://doi.org/10.1109/LICS.2009.18
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties
Alexander Kurz and Daniela PetrişanElectronic Notes in Theoretical Computer Science 203 (5) 175 (2008)
https://doi.org/10.1016/j.entcs.2008.05.025
Modular construction of complete coalgebraic logics
Corina Cǐrstea and Dirk PattinsonTheoretical Computer Science 388 (1-3) 83 (2007)
https://doi.org/10.1016/j.tcs.2007.06.002
Automata, Languages and Programming
Lutz Schröder and Dirk PattinsonLecture Notes in Computer Science, Automata, Languages and Programming 4596 459 (2007)
https://doi.org/10.1007/978-3-540-73420-8_41
Algebra and Coalgebra in Computer Science
Corina Cîrstea and Mehrnoosh SadrzadehLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 158 (2007)
https://doi.org/10.1007/978-3-540-73859-6_11
Coalgebraic representations of distributive lattices with operators
M.M. Bonsangue, A. Kurz and I.M. RewitzkyTopology and its Applications 154 (4) 778 (2007)
https://doi.org/10.1016/j.topol.2005.10.010
Algebra and Coalgebra in Computer Science
Alexander Kurz and Jiří RosickýLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 342 (2007)
https://doi.org/10.1007/978-3-540-73859-6_23
Handbook of Modal Logic
Yde VenemaStudies in Logic and Practical Reasoning, Handbook of Modal Logic 3 331 (2007)
https://doi.org/10.1016/S1570-2464(07)80009-7
An institution of modal logics for coalgebras
Corina CıˆrsteaThe Journal of Logic and Algebraic Programming 67 (1-2) 87 (2006)
https://doi.org/10.1016/j.jlap.2005.09.004
A modular approach to defining and characterising notions of simulation
Corina CîrsteaInformation and Computation 204 (4) 469 (2006)
https://doi.org/10.1016/j.ic.2005.04.005
Automata and fixed point logic: A coalgebraic perspective
Yde VenemaInformation and Computation 204 (4) 637 (2006)
https://doi.org/10.1016/j.ic.2005.06.003
Final coalgebras for functors on measurable spaces
Lawrence S. Moss and Ignacio D. ViglizzoInformation and Computation 204 (4) 610 (2006)
https://doi.org/10.1016/j.ic.2005.04.006
Modularity in Coalgebra
Corina CîrsteaElectronic Notes in Theoretical Computer Science 164 (1) 3 (2006)
https://doi.org/10.1016/j.entcs.2006.06.002
Algebraic–coalgebraic specification in CoCasl
Till Mossakowski, Lutz Schröder, Markus Roggenbach and Horst ReichelThe Journal of Logic and Algebraic Programming 67 (1-2) 146 (2006)
https://doi.org/10.1016/j.jlap.2005.09.006
A modal proof theory for final polynomial coalgebras
David Friggens and Robert GoldblattTheoretical Computer Science 360 (1-3) 1 (2006)
https://doi.org/10.1016/j.tcs.2005.11.041
Final coalgebras and the Hennessy–Milner property
Robert GoldblattAnnals of Pure and Applied Logic 138 (1-3) 77 (2006)
https://doi.org/10.1016/j.apal.2005.06.006
Foundations of Software Science and Computation Structures
Marcello M. Bonsangue and Alexander KurzLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 3921 172 (2006)
https://doi.org/10.1007/11690634_12
Algebra and Coalgebra in Computer Science
C. Kupke, A. Kurz and D. PattinsonLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 3629 263 (2005)
https://doi.org/10.1007/11548133_17
Foundations of Software Science and Computational Structures
Marcello M. Bonsangue and Alexander KurzLecture Notes in Computer Science, Foundations of Software Science and Computational Structures 3441 455 (2005)
https://doi.org/10.1007/978-3-540-31982-5_29
A compositional approach to defining logics for coalgebras
Corina CîrsteaTheoretical Computer Science 327 (1-2) 45 (2004)
https://doi.org/10.1016/j.tcs.2004.07.021
A Coalgebraic Perspective on Monotone Modal Logic
Helle Hvid Hansen and Clemens KupkeElectronic Notes in Theoretical Computer Science 106 121 (2004)
https://doi.org/10.1016/j.entcs.2004.02.028
Stone coalgebras
Clemens Kupke, Alexander Kurz and Yde VenemaTheoretical Computer Science 327 (1-2) 109 (2004)
https://doi.org/10.1016/j.tcs.2004.07.023
Harsanyi Type Spaces and Final Coalgebras Constructed from Satisfied Theories
Lawrence S. Moss and Ignacio D. ViglizzoElectronic Notes in Theoretical Computer Science 106 279 (2004)
https://doi.org/10.1016/j.entcs.2004.02.036
Algebraic Semantics for Coalgebraic Logics
Clemens Kupke, Alexander Kurz and Dirk PattinsonElectronic Notes in Theoretical Computer Science 106 219 (2004)
https://doi.org/10.1016/j.entcs.2004.02.037
A coalgebraic view on positive modal logic
Alessandra PalmigianoTheoretical Computer Science 327 (1-2) 175 (2004)
https://doi.org/10.1016/j.tcs.2004.07.026
CONCUR 2004 - Concurrency Theory
Corina Cîrstea and Dirk PattinsonLecture Notes in Computer Science, CONCUR 2004 - Concurrency Theory 3170 258 (2004)
https://doi.org/10.1007/978-3-540-28644-8_17
On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE
Zoran MajkićLecture Notes in Computer Science, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE 3290 768 (2004)
https://doi.org/10.1007/978-3-540-30468-5_49
Expressive Logics for Coalgebras via Terminal Sequence Induction
Dirk PattinsonNotre Dame Journal of Formal Logic 45 (1) (2004)
https://doi.org/10.1305/ndjfl/1094155277
Automata and Fixed Point Logics for Coalgebras
Yde VenemaElectronic Notes in Theoretical Computer Science 106 355 (2004)
https://doi.org/10.1016/j.entcs.2004.02.038
On Logics for Coalgebraic Simulation
Corina CîrsteaElectronic Notes in Theoretical Computer Science 106 63 (2004)
https://doi.org/10.1016/j.entcs.2004.02.026
Coalgebraic Semantics for Positive Modal Logic
Alessandra PalmigianoElectronic Notes in Theoretical Computer Science 82 (1) 221 (2003)
https://doi.org/10.1016/S1571-0661(04)80641-8
Stone Coalgebras
Clemens Kupke, Alexander Kurz and Yde VenemaElectronic Notes in Theoretical Computer Science 82 (1) 170 (2003)
https://doi.org/10.1016/S1571-0661(04)80638-8
On Expressivity and Compositionality in Logics for Coalgebras
Corina CîrsteaElectronic Notes in Theoretical Computer Science 82 (1) 110 (2003)
https://doi.org/10.1016/S1571-0661(04)80635-2
Coalgebras and monads in the semantics of Java
Bart Jacobs and Erik PollTheoretical Computer Science 291 (3) 329 (2003)
https://doi.org/10.1016/S0304-3975(02)00366-3
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Dirk PattinsonTheoretical Computer Science 309 (1-3) 177 (2003)
https://doi.org/10.1016/S0304-3975(03)00201-9
Modal Logics for Observation Equivalences
Jan Rothe and Dragan MašulovićElectronic Notes in Theoretical Computer Science 82 (1) 303 (2003)
https://doi.org/10.1016/S1571-0661(04)80646-7
Recent Trends in Algebraic Development Techniques
Dirk PattinsonLecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 2755 393 (2003)
https://doi.org/10.1007/978-3-540-40020-2_23
Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic
Alexander Kurz and Dirk PattinsonElectronic Notes in Theoretical Computer Science 65 (1) 135 (2002)
https://doi.org/10.1016/S1571-0661(04)80363-3
Institutionalising Many-Sorted Coalgebraic Modal Logic
Corina CîrsteaElectronic Notes in Theoretical Computer Science 65 (1) 54 (2002)
https://doi.org/10.1016/S1571-0661(04)80359-1
Foundations of Software Science and Computation Structures
Alexander KurzLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 2303 238 (2002)
https://doi.org/10.1007/3-540-45931-6_17
Foundations of Software Science and Computation Structures
Corina CîrsteaLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 2303 82 (2002)
https://doi.org/10.1007/3-540-45931-6_7