Completeness for Flat Modal Fixpoint Logics

DOI10.1007/978-3-540-75560-9_36MaRDI QIDQ3498489zbMATH OpenOpenAlexFDO

Authors Luigi Santocanale, Yde Venema

Publication date 15 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75560-9_36

zbMATH Keywords

completenessfixpoint logicmodal algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Completeness for flat modal fixpoint logics
• Flat modal fixpoint logics with the converse modality
• Sahlqvist theorem for modal fixed point logic
• Modal fixed point logics

Cited in

(6)

• A Buchholz rule for modal fixed point logics
• Equational coalgebraic logic
• Sahlqvist theorem for modal fixed point logic
• Flat modal fixpoint logics with the converse modality
• scientific article; zbMATH DE number 2242586 (Why is no real title available?)
• Completeness for flat modal fixpoint logics

This page was built for publication: Completeness for Flat Modal Fixpoint Logics

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