A coalgebraic view on positive modal logic (Q703528): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2004.07.026 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1982910240 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Domain theory in logical form / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3997112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220406 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A coalgebraic view of Heyting duality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4692885 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4150804 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4049062 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4715441 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of complex algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Functors for coalgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4530155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4533390 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coalgebraic modal logic of finite rank / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coalgebraic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract Logics as Dialgebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2843730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4499303 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3359391 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4942002 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:09, 7 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A coalgebraic view on positive modal logic |
scientific article |
Statements
A coalgebraic view on positive modal logic (English)
0 references
11 January 2005
0 references
Coalgebras can be seen as abstract versions of state-based dynamical systems and modal logic as the logic of transition systems. So, the interest of coalgebras as semantic structures for logical languages is growing. On the other hand, it is well known that every logic is canonically associated with a class of algebras. Therefore, the natural algebra/coalgebra duality makes coalgebras a better candidate for the role of semantic structure for modal logics. In this direction, the paper presents a coalgebraic semantics for Positive Modal Logic (PML). Starting points for this work are: the Positive Modal Algebra (the algebra canonically associated to PML), introduced by \textit{J. M. Dunn} [Stud. Log. 55, No. 2, 301--317 (1995; Zbl 0831.03007)], and the category of \textbf{K}\(^+\)-spaces, whose Priestley-style duality with Positive Modal Algebras was given by \textit{S. Celani} and \textit{R. Jansana} [Log. J. IGPL 7, No. 6, 683--715 (1999; Zbl 0948.03013)]. Concretely, the paper introduces one endofunctor, denoted by \textbf{V}, on the category \textbf{Pri} of Priestley spaces based on the Vietoris powerspace construction. The author proposes the category \textbf{Coalg}(\textbf{V}) of coalgebras of \textbf{V} as a coalgebraic semantics for PML by establishing the equivalence between the category of \textbf{K}\(^+\)-spaces and the category \textbf{Coalg}(\textbf{V}). The paper clearly shows the background of the problem, gives very interesting results and concludes with a preview of a similar study about the intuitionistic modal logics.
0 references
positive modal logic
0 references
positive modal algebra
0 references
Priestley space
0 references
Vietoris functor
0 references
coalgebraic semantics
0 references
0 references