Coalgebraic semantics of modal logics: An overview

Article Properties
Cite
Kupke, Clemens, and Dirk Pattinson. “Coalgebraic Semantics of Modal Logics: An Overview”. Theoretical Computer Science, vol. 412, no. 38, 2011, pp. 5070-94, https://doi.org/10.1016/j.tcs.2011.04.023.
Kupke, C., & Pattinson, D. (2011). Coalgebraic semantics of modal logics: An overview. Theoretical Computer Science, 412(38), 5070-5094. https://doi.org/10.1016/j.tcs.2011.04.023
Kupke, Clemens, and Dirk Pattinson. “Coalgebraic Semantics of Modal Logics: An Overview”. Theoretical Computer Science 412, no. 38 (2011): 5070-94. https://doi.org/10.1016/j.tcs.2011.04.023.
Kupke C, Pattinson D. Coalgebraic semantics of modal logics: An overview. Theoretical Computer Science. 2011;412(38):5070-94.
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
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Coequational logic for accessible functors Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 3 2010
Cut elimination in coalgebraic logics Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 5 2010
Presenting functors on many-sorted varieties and applications Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • 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
 2 2010
Expressivity of coalgebraic modal logic: The limits and beyond 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
 37 2008
Predicate Liftings Versus Nabla Modalities Electronic Notes in Theoretical Computer Science 4 2008
Citations
Title Journal Journal Categories Citations Publication Date
Modal reduction principles across relational semantics Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2024
Many-valued coalgebraic modal logic: One-step completeness and finite model property Fuzzy Sets and Systems
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Probabilities. Mathematical statistics
  • Science: Mathematics
  • Technology: Engineering (General). Civil engineering (General)
  • Technology: Engineering (General). Civil engineering (General)
 2023
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 1 2022
Monotone Subintuitionistic Logic: Duality and Transfer Results Notre Dame Journal of Formal Logic
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2022
CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE

 The Review of Symbolic Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 2021
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science10
Science: Mathematics7
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software5
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware5
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods3
Philosophy. Psychology. Religion: Philosophy (General)3
Science: Mathematics: Probabilities. Mathematical statistics2
Technology: Engineering (General). Civil engineering (General)2
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 10 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Probabilistic systems coalgebraically: A survey and was published in 2011. The most recent citation comes from a 2024 study titled Modal reduction principles across relational semantics. This article reached its peak citation in 2016, with 3 citations. It has been cited in 11 different journals, 9% of which are open access. Among related journals, the Fuzzy Sets and Systems cited this research the most, with 2 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year