CoLoSS

MaRDI QIDQ19079swMATHFDO

Official website http://www.informatik.uni-bremen.de/cofi/CoLoSS/

Described by source

• Optimal tableaux for conditional logics with cautious monotonicity

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