Some Sahlqvist Completeness Results for Coalgebraic Logics

DOI10.1007/978-3-642-37075-5_13zbMath1260.03039OpenAlexW1601815786MaRDI QIDQ4910420

Dirk Pattinson, Fredrik Dahlqvist

Publication date: 18 March 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37075-5_13

zbMATH Keywords

modal logiccompletenesscanonicitycoalgebraic modal logicSahlqvist formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Related Items (2)

Coalgebraic completeness-via-canonicity for distributive substructural logics ⋮ Coalgebraic Completeness-via-Canonicity

This page was built for publication: Some Sahlqvist Completeness Results for Coalgebraic Logics