scientific article; zbMATH DE number 2090297
From MaRDI portal
Publication:4809053
zbMath1072.68560MaRDI QIDQ4809053
Carlos Areces, Juan Heguiabehere
Publication date: 12 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920156.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (5)
A Modal-Layered Resolution Calculus for K ⋮ Model checking hybrid logics (with an application to semistructured data) ⋮ 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 ⋮ Hybrid Specification of Reactive Systems: An Institutional Approach
Uses Software
This page was built for publication:
