Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Publication: Research - peer-reviewConference article – Annual report year: 2011

View graph of relations

We investigate the question of how much hybrid machinery can be added to the interval neighbourhood logic PNL and its metric extension MPNL without losing the decidability of their satisfiability problem in N. In particular, we consider the natural hybrid extension of MPNL obtained by adding binders on integer variables ranging over lengths of intervals, thus enabling storage of the length of the current interval undecidable, which is somewhat surprising, being in contrast with the decidability of MPNL, which can be seen as a hybrid language with length constraints only involving constants over interval lengths. These results show that MPNL itself is, in this sense, a maximal decidable (weakly) hybrid extension of PNL. © 2011 Elsevier B.V. All rights reserved.
Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Publication date2011
Volume273
Issue1
Pages3-19
ISSN1571-0661
DOIs
StatePublished

Workshop

WorkshopInternational Workshop on Hybrid Logic and Applications
CountryUnited Kingdom
CityEdinburgh
Period10/07/10 → …
Internet addresshttp://hylocore.ruc.dk/HyLo2010.html
CitationsWeb of Science® Times Cited: No match on DOI
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 6296142