Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
type: Item
instance of: scholarly article
title: Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
DOI: 10.1007/978-3-031-10736-8_1
author: Harsh Beohar
author: Barbara König
author: Sebastian Küpper
author: Christina Mika-Michalski
publication date: 2022-12-07T00:00:00Z
full work available at URL: https://arxiv.org/abs/2110.09911
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 7628064
zbMATH Keywords: (co)Kleisli categories
zbMATH Keywords: indexed morphisms
zbMATH Keywords: indexed categories/fibrations
MaRDI profile type: Publication
OpenAlex ID: W4286600429
cites work: A Coalgebraic Perspective on Minimization and Determinization
cites work: Q4693062
cites work: Q4637688
cites work: Up-To Techniques for Behavioural Metrics via Fibrations
cites work: Coinduction up-to in a fibrational setting
cites work: Q5875398
cites work: Indexed induction and coinduction, fibrationally
cites work: Simulations and Bisimulations for Coalgebraic Modal Logics
cites work: Generic Trace Semantics via Coinduction
cites work: Coinductive predicates and final sequences in a fibration
cites work: Structural induction and coinduction in a fibrational setting
cites work: Categorical logic and type theory
cites work: Trace semantics for coalgebras
cites work: Introduction to coalgebra. Towards mathematics of states and observation
cites work: Trace semantics via determinization
cites work: Exemplaric Expressivity of Modal Logics
cites work: Algebra and Coalgebra in Computer Science
cites work: Coalgebraic Trace Semantics via Forgetful Logics
cites work: (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
cites work: Coalgebraic semantics of modal logics: an overview
cites work: Q5028440
cites work: Lifting theorems for Kleisli categories
cites work: Coalgebraic modal logic: soundness, completeness and decidability of local consequence
cites work: Testing Semantics: Connecting Processes and Process Logics
cites work: Universal coalgebra: A theory of systems
cites work: Expressivity of coalgebraic modal logic: the limits and beyond
cites work: Fibrational bisimulations and quantitative reasoning
Recommended article: Specifying coalgebras with modal logic
Recommended article: Q4222950
Recommended article: Predicate liftings and functor presentations in coalgebraic expression languages
Recommended article: Algebra and Coalgebra in Computer Science
Recommended article: Coalgebraic Predicate Logic: Equipollence Results and Proof Theory
Recommended article: Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
Recommended article: Coalgebras and modal expansions of logics
Recommended article: Coalgebraic Modal Logic in CoCasl
Recommended article: Coalgebraic semantics of modal logics: an overview
Recommended article: Q4499303
description: scientific article; zbMATH DE number 7628064