CoLoSS

swMATH7016MaRDI QIDQ19079FDOQ19079

Author name not available (Why is that?)

Described by source

• Optimal tableaux for conditional logics with cautious monotonicity

Cited In (12)

• Embedding and automating conditional logics in classical higher-order logic
• Sequent Systems for Lewis’ Conditional Logics
• CoLoSS: The Coalgebraic Logic Satisfiability Solver
• Coalgebraic Hybrid Logic
• Adaptively applying modus ponens in conditional logics of normality
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi
• Coalgebras, Chu spaces, and representations of physical systems
• A discrete duality between nonmonotonic consequence relations and convex geometries
• Generic modal cut elimination applied to conditional logics
• Nested sequent calculi for conditional logics
• Global caching for coalgebraic description logics

This page was built for software: CoLoSS