Coalgebras and Modal Expansions of Logics
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2004/12/01
-
Indian UGC (journal)
-
Refrences12
-
Citations1
-
Alexander Kurz
-
Alessandra Palmigiano
Cite
Kurz, Alexander, and Alessandra Palmigiano. “Coalgebras and Modal Expansions of Logics”. Electronic Notes in Theoretical Computer Science, vol. 106, 2004, pp. 243-59, https://doi.org/10.1016/j.entcs.2004.05.010.
Kurz, A., & Palmigiano, A. (2004). Coalgebras and Modal Expansions of Logics. Electronic Notes in Theoretical Computer Science, 106, 243-259. https://doi.org/10.1016/j.entcs.2004.05.010
Kurz, Alexander, and Alessandra Palmigiano. “Coalgebras and Modal Expansions of Logics”. Electronic Notes in Theoretical Computer Science 106 (2004): 243-59. https://doi.org/10.1016/j.entcs.2004.05.010.
Kurz A, Palmigiano A. Coalgebras and Modal Expansions of Logics. Electronic Notes in Theoretical Computer Science. 2004;106:243-59.
You May Also Like
- An algorithm for drawing general undirected graphs
- An efficient algorith for determining the convex hull of a finite planar set
- A linear-time algorithm for testing the truth of certain quantified boolean formulas
- A Decision-Theoretic Generalization of On-Line Learning and an Application to Boosting
- Computing with Membranes
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Bounded Lattice Expansions | Journal of Algebra |
| 98 | 2001 |
| Matrix approach in the methodology of sentential calculus | Studia Logica |
| 1973 | |
| Axiomatizations for some intuitionistic modal logics | 1984 | |||
| Vietoris locales and localic semilattices | 1985 | |||
| A General Algebraic Semantics for Sentential Logics | 1996 |
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
Analyzing completeness of axiomatic functional systems for temporal × modal logics | Mathematical Logic Quarterly |
| 1 | 2010 |
Citations Analysis
| Category | Category Repetition |
|---|---|
| Science: Mathematics | 1 |
The category
Science: Mathematics 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Analyzing completeness of axiomatic functional systems for temporal × modal logics and was published in 2010. The most recent citation comes from a 2010 study titled Analyzing completeness of axiomatic functional systems for temporal × modal logics. This article reached its peak citation in 2010, with 1 citations. It has been cited in 1 different journals. Among related journals, the Mathematical Logic Quarterly cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.