Cited in
(23)- CoLoSS: the coalgebraic logic satisfiability solver
- Nested sequent calculi for conditional logics
- Embedding and automating conditional logics in classical higher-order logic
- Sequent Systems for Lewis’ Conditional Logics
- Coalgebras, Chu spaces, and representations of physical systems
- Generic modal cut elimination applied to conditional logics
- Pellet
- TATL
- CondLean
- Racer
- fCube
- Imogen
- Cool
- PGSolver
- PolyLib
- JTabWb
- CLProver
- JTabWb: a Java framework for implementing terminating sequent and tableau calculi
- Coalgebraic Hybrid Logic
- Adaptively applying modus ponens in conditional logics of normality
- Global caching for coalgebraic description logics
- A sequent calculus for preferential conditional logic based on neighbourhood semantics
- A discrete duality between nonmonotonic consequence relations and convex geometries
This page was built for software: CoLoSS
