Completeness of flat coalgebraic fixpoint logics

DOI10.1145/3157055MaRDI QIDQ6829424zbMATH OpenFDO

Authors Lutz Schröder, Yde Venema

Publication date 22 March 2018

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3157055

zbMATH Keywords

completenesscoalgebraic logicalgebraic semanticsbranching-time temporal logicsalternating-time temporal logicgraded \(\mu\)-calculusKozen/Park axioms

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Cited in

(1)

• The alternating-time -calculus with disjunctive explicit strategies

This page was built for publication: Completeness of flat coalgebraic fixpoint logics

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