A coalgebraic view on positive modal logic

Article Properties
Cite
Palmigiano, Alessandra. “A Coalgebraic View on Positive Modal Logic”. Theoretical Computer Science, vol. 327, no. 1-2, 2004, pp. 175-9, https://doi.org/10.1016/j.tcs.2004.07.026.
Palmigiano, A. (2004). A coalgebraic view on positive modal logic. Theoretical Computer Science, 327(1-2), 175-195. https://doi.org/10.1016/j.tcs.2004.07.026
Palmigiano, Alessandra. “A Coalgebraic View on Positive Modal Logic”. Theoretical Computer Science 327, no. 1-2 (2004): 175-95. https://doi.org/10.1016/j.tcs.2004.07.026.
Palmigiano A. A coalgebraic view on positive modal logic. Theoretical Computer Science. 2004;327(1-2):175-9.
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
Full models for positive modal logic 2002
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study RAIRO - Theoretical Informatics and Applications
  • 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
 39 2001
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic Logic Journal of the IGPL
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 28 1999
Domain theory in logical form Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 1991
Coalgebraic logic Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 1999
Citations
Title Journal Journal Categories Citations Publication Date
DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY

 The Journal of Symbolic Logic
  • Science: Mathematics
  • Science: Mathematics
 2024
Remarks on hyperspaces for Priestley spaces 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
 2 2023
Remarks on Hyperspaces for Priestley Spaces SSRN Electronic Journal 2022
Positive Monotone Modal Logic Studia Logica
  • Science: Mathematics
  • Science: Mathematics
  • Philosophy. Psychology. Religion: Philosophy (General)
 1 2021
An institutional approach to positive coalgebraic logic Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2015
Citations Analysis
Category Category Repetition
Science: Mathematics7
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software3
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware3
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods2
Philosophy. Psychology. Religion: Logic1
Philosophy. Psychology. Religion: Philosophy (General)1
The category Science: Mathematics 7 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Coalgebras and their logics and was published in 2006. The most recent citation comes from a 2024 study titled DUALITY FOR COALGEBRAS FOR VIETORIS AND MONADICITY. This article reached its peak citation in 2024, with 1 citations. It has been cited in 10 different journals, 10% of which are open access. Among related journals, the Theoretical Computer Science 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