scientific article
From MaRDI portal
Publication:2904047
zbMath1254.03030MaRDI QIDQ2904047
Marta Cialdea Mayer, Serenella Cerrito
Publication date: 5 August 2012
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 Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders ⋮ ExpTime tableaux with global caching for hybrid PDL ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Blocking and other enhancements for bottom-up model generation methods ⋮ A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
This page was built for publication:
