COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
From MaRDI portal
Publication:6492746
DOI10.1007/978-3-031-38499-8_14MaRDI QIDQ6492746
Lutz Schröder, Unnamed Author, Unnamed Author, Daniel Hausmann, Dirk Pattinson, Unnamed Author
Publication date: 26 April 2024
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Expressive logics for coalgebras via terminal sequence induction
- Alternating finite automata on \(\omega\)-words
- Results on the propositional \(\mu\)-calculus
- Bisimulation through probabilistic testing
- A logic for reasoning about time and reliability
- Finality regained: A coalgebraic study of Scott-sets and multisets
- Universal coalgebra: A theory of systems
- Parity games and automata for game logic
- Optimal satisfiability checking for arithmetic \(\mu\)-calculi
- Permutation games for the weakly aconjunctive \(\mu \)-calculus
- HermiT: an OWL 2 reasoner
- Expressivity of coalgebraic modal logic: the limits and beyond
- TATL: Implementation of ATL Tableau-Based Decision Procedure
- Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)
- PSPACE bounds for rank-1 modal logics
- EXPTIME Tableaux for the Coalgebraic mu-Calculus
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
- Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux
- Alternating-time temporal logic
- Concurrent dynamic logic
- A Modal Logic for Coalitional Power in Games
- Global Caching for the Alternation-free µ-Calculus
- CoLoSS: The Coalgebraic Logic Satisfiability Solver
- Coalgebraic Reasoning with Global Assumptions in Arithmetic Modal Logics
- Verification: Theory and Practice
- Theory and Applications of Satisfiability Testing
- Global Caching for Coalgebraic Description Logics
This page was built for publication: COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
