Optimal Tableau Algorithms for Coalgebraic Logics
From MaRDI portal
Publication:3557073
DOI10.1007/978-3-642-12002-2_9zbMath1284.03207MaRDI 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
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03G30: Categorical logic, topoi
Related Items
Global Caching for Coalgebraic Description Logics, Reasoning with Global Assumptions in Arithmetic Modal Logics, Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra