CoLoSS: the coalgebraic logic satisfiability solver

DOI10.1016/J.ENTCS.2009.02.028MaRDI QIDQ4982113zbMATH OpenOpenAlexFDO

Authors Georgel Calin

Publication date 23 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.02.028

zbMATH Keywords

automatic provingcoalgebramodal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45) Combined logics (03B62) Categorical logic, topoi (03G30)

Recommendations

• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• Modular Algorithms for Heterogeneous Modal Logics
• Optimal tableau algorithms for coalgebraic logics
• Modal Satisfiability via SMT Solving
• A finite model construction for coalgebraic modal logic

Cites work

• A Modal Logic for Coalitional Power in Games
• Bisimulation through probabilistic testing
• CONCUR 2004 - Concurrency Theory
• CondLean: a theorem prover for conditional logics
• scientific article; zbMATH DE number 1629944 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• scientific article; zbMATH DE number 1765711 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• Implementation of Functional Languages
• Modular Algorithms for Heterogeneous Modal Logics
• Optimizing description logic subsumption
• Presburger Modal Logic Is PSPACE-Complete
• Probabilistic extensions of process algebras.
• Probability logic for type spaces

Cited in

(2)

• Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
• COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)

Describes a project that uses

Uses Software

• Pellet
• Racer
• Haskell
• CoLoSS
• FaCT++
• PolyLib

This page was built for publication: CoLoSS: the coalgebraic logic satisfiability solver

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4982113)