Coinductive predicates and final sequences in a fibration

DOI10.1017/S0960129517000056zbMATH Open1386.68103MaRDI QIDQ4606703FDOQ4606703

Kenta Cho, Ichiro Hasuo, Toshiki Kataoka

Publication date: 9 March 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Recommendations

• Coinductive predicates and final sequences in a fibration
• Indexed induction and coinduction, fibrationally
• Indexed induction and coinduction, fibrationally
• Structural induction and coinduction in a fibrational setting
• Coequational logic for finitary functors
• On the final sequence of a finitary set functor
• Logical construction of final coalgebras
• Recursive coalgebras of finitary functors
• Algebra and Coalgebra in Computer Science
• A note on expressive coalgebraic logics for finitary set functors

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20)

Cites Work

• The power of parameterization in coinductive proof
• A congruence rule format for name-passing process calculi
• Sheaves in geometry and logic: a first introduction to topos theory
• Constructive versions of Tarski's fixed point theorems
• Structural induction and coinduction in a fibrational setting
• Categorical logic and type theory
• On final coalgebras of continuous functors
• Universal coalgebra: A theory of systems
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Comparing operational models of name-passing process calculi
• Automata and fixed point logic: a coalgebraic perspective
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Coinductive predicates and final sequences in a fibration
• Modal logics and mu-calculi: An introduction
• Trace semantics for coalgebras
• Inductive and coinductive components of corecursive functions in Coq
• Modular games for coalgebraic fixed point logics
• Fibrational Induction Meets Effects
• A Coalgebraic Perspective on Minimization and Determinization
• Checking NFA equivalence with bisimulations up to congruence
• Relating coalgebraic notions of bisimulation
• Generic forward and backward simulations. II: Probabilistic simulation
• Terminal Sequence Induction via Games
• EXPTIME Tableaux for the Coalgebraic μ-Calculus
• Algebraic laws for nondeterminism and concurrency
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic Modal Logic Beyond Sets
• Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
• A Categorical Model of the Fusion Calculus
• Generic Trace Semantics via Coinduction
• On the final sequence of a finitary set functor
• Indexed Induction and Coinduction, Fibrationally
• Applications of Metric Coinduction
• Maximal traces and path-based coalgebraic temporal logics
• Coinduction up-to in a fibrational setting
• Algebraic lattices and locally finitely presentable categories
• Title not available (Why is that?)
• Lattice-theoretic progress measures and coalgebraic model checking

Cited In (5)

• Corecursion up-to via causal transformations
• Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
• Title not available (Why is that?)
• Preservation and reflection of bisimilarity via invertible steps
• Proving behavioural apartness

Uses Software

• Paco

This page was built for publication: Coinductive predicates and final sequences in a fibration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4606703)