HyLoRes
From MaRDI portal
Software:29515
swMATH17660MaRDI QIDQ29515FDOQ29515
Author name not available (Why is that?)
Cited In (7)
- Model checking hybrid logics (with an application to semistructured data)
- Title not available (Why is that?)
- HTab: a Terminating Tableaux System for Hybrid Logic
- Hybrid Specification of Reactive Systems: An Institutional Approach
- A Modal-Layered Resolution Calculus for K
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- A prover dealing with nominals, binders, transitivity and relation hierarchies
This page was built for software: HyLoRes
