INSTANTIAL NEIGHBOURHOOD LOGIC release_lf3hiayifzc4hdg4ttonwe7gn4

by JOHAN VAN BENTHEM, NICK BEZHANISHVILI, SEBASTIAN ENQVIST, JUNHUA YU

Published in The Review of Symbolic Logic by Cambridge University Press (CUP).

2016   Volume 10, Issue 01, p116-144

Abstract

<jats:title>Abstract</jats:title> This paper explores a new language of neighbourhood structures where existential information can be given about what kind of worlds occur in a neighbourhood of a current world. The resulting system of 'instantial neighbourhood logic' INL has a nontrivial mix of features from relational semantics and from neighbourhood semantics. We explore some basic model-theoretic behavior, including a matching notion of bisimulation, and give a complete axiom system for which we prove completeness by a new normal form technique. In addition, we relate INL to other modal logics by means of translations, and determine its precise SAT complexity. Finally, we discuss proof-theoretic fine-structure of INL in terms of semantic tableaux and some expressive fine-structure in terms of fragments, while discussing concrete illustrations of the instantial neighborhood language in topological spaces, in games with powers for players construed in a new way, as well as in dynamic logics of acquiring or deleting evidence. We conclude with some coalgebraic perspectives on what is achieved in this paper. Many of these final themes suggest follow-up work of independent interest.
In application/xml+jats format

Archived Files and Locations

application/pdf  516.9 kB
file_uzn6tpvcrngyvkp6ignnosuzju
pure.uva.nl (repository)
web.archive.org (webarchive)
application/pdf  445.3 kB
file_gv6iq73gxnddfo4o4kkjejrndu
web.archive.org (webarchive)
pure.uva.nl (web)
application/pdf  424.3 kB
file_rd43ej7ovvfmlascj45wak2qym
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2016-12-19
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1755-0211
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 6686ea79-d12e-4924-863a-10693854fc03
API URL: JSON