Spartacus
From MaRDI portal
Software:24354
No author found.
Related Items (14)
An efficient approach to nominal equalities in hybrid logic tableaux ⋮ Symmetric blocking ⋮ Completeness and termination for a Seligman-style tableau system ⋮ InKreSAT: Modal Reasoning via Incremental Reduction to SAT ⋮ Terminating Tableaux for Hybrid Logic with Eventualities ⋮ Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic ⋮ An assumption-based approach for solving the minimal S5-satisfiability problem ⋮ Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach ⋮ Modal Logic S5 Satisfiability in Answer Set Programming ⋮ A goal-directed decision procedure for hybrid PDL
This page was built for software: Spartacus
