Advanced

A Tableau system for a first-order hybrid logic

Hansen, Jens Ulrik LU (2007) International Workshop on Hybrid Logic, HyLo 2007 In Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007) p.32-40
Abstract
In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic (including constants and function symbols). The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed.

This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.
Please use this url to cite or link to this publication:
author
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
hybrid logic first-order modal logic first-order hybrid logic tableau systems
in
Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007)
editor
Villadsen, Jørgen; Bolander, Thomas and Braüner, Torben
pages
9 pages
publisher
European Summer School in Logic, Language and Information (ESSLLI)
conference name
International Workshop on Hybrid Logic, HyLo 2007
language
English
LU publication?
no
id
eadeecf2-98f1-4779-9c16-b54cb98a82fa (old id 4017344)
date added to LUP
2013-09-09 11:49:51
date last changed
2016-06-29 09:12:44
@inproceedings{eadeecf2-98f1-4779-9c16-b54cb98a82fa,
  abstract     = {In this paper a first-order version of hybrid logic is presented. The language is obtained by adding nominals, satisfaction operators and the down-arrow binder to classical first-order modal logic (including constants and function symbols). The satisfaction operators are applied to both formulas and terms. Moreover adding the universal modality is discussed.<br/><br>
This first-order hybrid language is interpreted over varying domains and a sound and complete, fully internalized tableau system for this logic is given.},
  author       = {Hansen, Jens Ulrik},
  booktitle    = {Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007)},
  editor       = {Villadsen, Jørgen and Bolander, Thomas and Braüner, Torben},
  keyword      = {hybrid logic first-order modal logic first-order hybrid logic tableau systems},
  language     = {eng},
  pages        = {32--40},
  publisher    = {European Summer School in Logic, Language and Information (ESSLLI)},
  title        = {A Tableau system for a first-order hybrid logic},
  year         = {2007},
}