Uniform Interpolation for Coalgebraic Fixpoint Logic

DOI10.4230/LIPIcs.CALCO.2015.238zbMath1366.03245arXiv1503.02319OpenAlexW2124810483MaRDI QIDQ5275354

Fatemeh Seifan, Yde Venema, Johannes Marti

Publication date: 11 July 2017

Full work available at URL: https://arxiv.org/abs/1503.02319

zbMATH Keywords

coalgebra\(\mu\)-calculusautomatauniform interpolation

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Interpolation, preservation, definability (03C40) Categories of machines, automata (18B20)

Related Items (1)

Uniform interpolation and coherence

This page was built for publication: Uniform Interpolation for Coalgebraic Fixpoint Logic