Canonicity results for mu-calculi: an algorithmic approach

DOI10.1093/logcom/exx011zbMath1444.03047arXiv1408.6367OpenAlexW2963927180MaRDI QIDQ2983395

Willem Conradie, Andrew P. K. Craig

Publication date: 17 May 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

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

zbMATH Keywords

canonicitymodal mu-calculuscanonical extensionSahlqvist theoryALBA algorithm

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (6)

Probabilistic Epistemic Updates on Algebras ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Algebraic Semantics for Hybrid Logics ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Canonicity results for mu-calculi: an algorithmic approach