Coalgebras and their logics

Article Properties
  • Language
    English
  • DOI (url)
    10.1145/1140612.1140628
  • Publication Date
    2006/06/01
  • Journal
    ACM SIGACT News
  • Indian UGC (journal)
  • Refrences
    73
  • Citations
    11
  • Alexander Kurz University of Leicester, UK
Cite
Kurz, Alexander. “Coalgebras and Their Logics”. ACM SIGACT News, vol. 37, no. 2, 2006, pp. 57-77, https://doi.org/10.1145/1140612.1140628.
Kurz, A. (2006). Coalgebras and their logics. ACM SIGACT News, 37(2), 57-77. https://doi.org/10.1145/1140612.1140628
Kurz, Alexander. “Coalgebras and Their Logics”. ACM SIGACT News 37, no. 2 (2006): 57-77. https://doi.org/10.1145/1140612.1140628.
Kurz A. Coalgebras and their logics. ACM SIGACT News. 2006;37(2):57-7.
Refrences
Title Journal Journal Categories Citations Publication Date
Title 2004
Title 2003
Title 2003
Title Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2003
Title 2001
Citations
Title Journal Journal Categories Citations Publication Date
Chu duality theory and coalgebraic representation of quantum symmetries Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 2022
On a Categorical Framework for Coalgebraic Modal Logic Electronic Notes in Theoretical Computer Science 1 2014
Proof systems for Moss' coalgebraic logic Theoretical Computer Science
  • 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
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 1 2014
Natural duality, modality, and coalgebra Journal of Pure and Applied Algebra
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
 6 2012
Completeness for the coalgebraic cover modality

 Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2012
Citations Analysis
Category Category Repetition
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software4
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware4
Science: Mathematics3
Philosophy. Psychology. Religion: Logic1
The category Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods 4 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Bialgebraic Methods in Structural Operational Semantics and was published in 2007. The most recent citation comes from a 2022 study titled Chu duality theory and coalgebraic representation of quantum symmetries. This article reached its peak citation in 2010, with 3 citations. It has been cited in 6 different journals, 16% 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.
Citations used this article by year