Modular construction of complete coalgebraic logics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2007/12/01
-
Journal
-
Indian UGC (journal)
-
Refrences32
-
Citations19
-
Corina Cǐrstea
-
Dirk Pattinson
Cite
Cǐrstea, Corina, and Dirk Pattinson. “Modular Construction of Complete Coalgebraic Logics”. Theoretical Computer Science, vol. 388, no. 1-3, 2007, pp. 83-108, https://doi.org/10.1016/j.tcs.2007.06.002.
Cǐrstea, C., & Pattinson, D. (2007). Modular construction of complete coalgebraic logics. Theoretical Computer Science, 388(1-3), 83-108. https://doi.org/10.1016/j.tcs.2007.06.002
Cǐrstea C, Pattinson D. Modular construction of complete coalgebraic logics. Theoretical Computer Science. 2007;388(1-3):83-108.
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| A compositional approach to defining logics for coalgebras | Theoretical Computer Science |
| 8 | 2004 |
| Expressive Logics for Coalgebras via Terminal Sequence Induction | Notre Dame Journal of Formal Logic |
| 26 | 2004 |
| Coalgebraic modal logic: Soundness, completeness and decidability of local consequence | Theoretical Computer Science |
| 2003 | |
| Specifying coalgebras with modal logic | Theoretical Computer Science |
| 2001 | |
| Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study | RAIRO - Theoretical Informatics and Applications |
| 39 | 2001 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games | ACM Transactions on Computational Logic |
| 1 | 2022 |
Completeness of Flat Coalgebraic Fixpoint Logics | ACM Transactions on Computational Logic |
| 1 | 2018 |
| Coalgebraic completeness-via-canonicity for distributive substructural logics | Journal of Logical and Algebraic Methods in Programming |
| 2017 | |
Lattice-theoretic progress measures and coalgebraic model checking | ACM SIGPLAN Notices | 2016 | ||
| A Van Benthem/Rosen theorem for coalgebraic predicate logic | Journal of Logic and Computation |
| 2 | 2015 |
Citations Analysis
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science 13
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Modular Games for Coalgebraic Fixed Point Logics and was published in 2008. The most recent citation comes from a 2022 study titled The Temporal Logic of Coalitional Goal Assignments in Concurrent Multiplayer Games. This article reached its peak citation in 2011, with 5 citations. It has been cited in 11 different journals, 18% of which are open access. Among related journals, the Electronic Notes in Theoretical Computer Science cited this research the most, with 4 citations. The chart below illustrates the annual citation trends for this article.