Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

A Tableau system for a first-order hybrid logic

Hansen, Jens Ulrik LU (2007) International Workshop on Hybrid Logic, 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
host publication
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
conference location
Dublin, Ireland
conference dates
2007-08-06 - 2007-08-10
language
English
LU publication?
no
id
eadeecf2-98f1-4779-9c16-b54cb98a82fa (old id 4017344)
date added to LUP
2016-04-04 11:14:59
date last changed
2018-11-21 21:03:38
@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}},
  keywords     = {{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}},
  url          = {{https://lup.lub.lu.se/search/files/5729416/4017360.pdf}},
  year         = {{2007}},
}