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