52 search results - page 1 / 11 » Termination for Hybrid Tableaus |
LOGCOM
2007
13 years 4 months ago
2007
Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨uner [5]. Their paper gives tableau-based decision procedur...
HYBRID
2011
Springer
12 years 4 months ago
2011
Springer
DNA
2011
Springer
12 years 4 months ago
2011
Springer
Sticker complexes are a a formal graph-based data model for a restricted class of DNA complexes, motivated by potential applications to databases. This data model allows for a pure...
JAPLL
2010
12 years 11 months ago
2010
We discuss recent work generalising the basic hybrid logic with the difference modality to any reasonable notion of transition. This applies equally to both subrelational transiti...
JAPLL
2010
12 years 11 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...