A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
From MaRDI portal
Publication:3010363
DOI10.1007/978-3-642-22119-4_10zbMath1331.68200OpenAlexW2219260021MaRDI QIDQ3010363
Serenella Cerrito, Marta Cialdea Mayer
Publication date: 1 July 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_10
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
GUBS a Language for Synthetic Biology: Specification and Compilation ⋮ A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Sibyl ⋮ A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities ⋮ Extended decision procedure for a fragment of HL with binders
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Terminating tableau systems for hybrid logic with difference and converse
- Hybrid languages
- Guarded fragments with constants
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
- On the Restraining Power of Guards
- Computer Science Logic
- Termination for Hybrid Tableaus
This page was built for publication: A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders
