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
• Nested Sequent Calculi for Conditional Logics
• 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
• Generic Modal Cut Elimination Applied to Conditional Logics
• Coalgebras, Chu spaces, and representations of physical systems
• Global Caching for Coalgebraic Description Logics
• A discrete duality between nonmonotonic consequence relations and convex geometries

This page was built for software: CoLoSS