CoLoSS

swMATH7016MaRDI QIDQ19079

No author found.

Described by source

• Optimal Tableaux for Conditional Logics with Cautious Monotonicity

Related Items (12)

A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Sequent Systems for Lewis’ Conditional Logics ⋮ Coalgebras, Chu spaces, and representations of physical systems ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ A discrete duality between nonmonotonic consequence relations and convex geometries ⋮ JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi ⋮ Embedding and automating conditional logics in classical higher-order logic ⋮ Global Caching for Coalgebraic Description Logics ⋮ Coalgebraic Hybrid Logic ⋮ Generic Modal Cut Elimination Applied to Conditional Logics ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver

This page was built for software: CoLoSS