A Tableau system for a first-order hybrid logic
(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:
https://lup.lub.lu.se/record/4017344
- author
- Hansen, Jens Ulrik LU
- publishing date
- 2007
- 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}}, }