Download PDFOpen PDF in browser

An analogue of Bull's theorem for Hybrid Logic

4 pagesPublished: July 28, 2014

Abstract

Hybrid logic extends modal logic with a special sort of variables, called nominals, which are evaluated to singletons in Kripke models by valuations, thus acting as names for states in models. Various syntactic mechanisms for exploiting and enhancing the expressive power gained through the addition of nominals can be included, most characteristically the satisfaction operator, @_ip, allowing one to express that p holds at the world named by a nominal i.

R.A. Bull famously proved that each normal extension of S4.3 has the finite model
property. In the current paper, we prove a hybrid analogue of Bull's result. Like the proof of Bull's original result, ours is algebraic, and thus our secondary aim with this work is to illustrate the usefulness of algebraic methods within hybrid logic research, a field where such methods have been largely ignored.

Keyphrases: bull theorem, finite model property, hybrid logic

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 179-182.

BibTeX entry
@inproceedings{TACL2013:analogue_Bulls_theorem_Hybrid,
  author    = {Claudette Robinson and Willem Conradie},
  title     = {An analogue of Bull's theorem for Hybrid Logic},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3m5},
  doi       = {10.29007/bhm3},
  pages     = {179-182},
  year      = {2014}}
Download PDFOpen PDF in browser