Back to Search
Start Over
An institutional approach to positive coalgebraic logic.
- Source :
- Journal of Logic & Computation; Sep2017, Vol. 27 Issue 6, p1799-1824, 26p
- Publication Year :
- 2017
-
Abstract
- Positive modal logic, as introduced by Dunn in 1995, is the negation-free fragment of the standard modal logic of all Kripke frames. Positive coalgebraic logic, introduced by the authors in a previous work, expands the above result from Kripke frames to more general transition systems, namely to coalgebras of weak-pullback preserving functors. We show that this construction is both modular and uniform in the functor giving the type of coalgebra. More precisely, we formalize both Set and Pos-based coalgebraic modal logic as institutions, and we exhibit a morphism of institutions between them giving the positive fragment of coalgebraic modal logic. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 0955792X
- Volume :
- 27
- Issue :
- 6
- Database :
- Complementary Index
- Journal :
- Journal of Logic & Computation
- Publication Type :
- Academic Journal
- Accession number :
- 124942637
- Full Text :
- https://doi.org/10.1093/logcom/exv074