Optimal Tableau Algorithms for Coalgebraic Logics

DOI10.1007/978-3-642-12002-2_9zbMath1284.03207OpenAlexW1575920076MaRDI QIDQ3557073

Clemens Kupke, Rajeev Goré, Dirk Pattinson

Publication date: 27 April 2010

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_9

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (3)

Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra ⋮ Global Caching for Coalgebraic Description Logics

This page was built for publication: Optimal Tableau Algorithms for Coalgebraic Logics