HTab: a Terminating Tableaux System for Hybrid Logic
From MaRDI portal
Publication:4982111
DOI10.1016/j.entcs.2009.02.026zbMath1347.68301MaRDI QIDQ4982111
Publication date: 23 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.02.026
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68N18: Functional programming and lambda calculus
03B35: Mechanization of proofs and logical operations
03B62: Combined logics
Related Items
HTab, Symmetric blocking, A goal-directed decision procedure for hybrid PDL, Hybrid Specification of Reactive Systems: An Institutional Approach
Uses Software
Cites Work