Optimal Tableau Algorithms for Coalgebraic Logics
Abstract elided by the publisher.
Related papers
- A Coalgebraic Decision Procedure for NetKAT POPL 2015
- A Tableau System for Linear-TIME Temporal Logic TACAS 1997
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic CAV 2003
- Description Logic as Programming Language Onward! 2014
- Synthesis of Communicating Processes from Temporal Logic Specifications TOPLAS 1984
- Specification and Synthesis of Communicating Processes using an Extended Temporal Logic POPL 1982
- Intrinsically Correct Algorithms and Recursive Coalgebras PLDI 2026
- Fast Coalgebraic Bisimilarity Minimization POPL 2023