First-Order Hybrid Logic: Introduction and Survey

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Resumé

Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this.
What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic.
First-order hybrid logic is obtained by adding first-order machinery to propositional hybrid logic, or equivalently, by adding hybrid-logical machinery to first-order modal logic.
In this short paper we introduce first-order hybrid logic and we give a survey of work in the area.
OriginalsprogEngelsk
TitelVolume of abstracts : Non-classical Modal and Predicate Logics
RedaktørerPetr Cintula, Shier Ju, Martin Víta
Udgivelses stedPrague
ForlagF solutions
Publikationsdato2011
Sider35-41
ISBN (Trykt)987-80-87465-00-4
StatusUdgivet - 2011
BegivenhedNon-classical Modal and Predicate Logics 2011 - Guangzhou, Canton, Kina
Varighed: 5 dec. 20119 dec. 2011

Konference

KonferenceNon-classical Modal and Predicate Logics 2011
LandKina
ByGuangzhou, Canton
Periode05/12/201109/12/2011

Bibliografisk note

Extended abstracts

Citer dette

Braüner, T. (2011). First-Order Hybrid Logic: Introduction and Survey. I P. Cintula, S. Ju, & M. Víta (red.), Volume of abstracts: Non-classical Modal and Predicate Logics (s. 35-41). Prague: F solutions.
Braüner, Torben. / First-Order Hybrid Logic : Introduction and Survey. Volume of abstracts: Non-classical Modal and Predicate Logics. red. / Petr Cintula ; Shier Ju ; Martin Víta. Prague : F solutions, 2011. s. 35-41
@inproceedings{9a0b7afc7e6345109f8a9c5f1644e002,
title = "First-Order Hybrid Logic: Introduction and Survey",
abstract = "Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic is obtained by adding first-order machinery to propositional hybrid logic, or equivalently, by adding hybrid-logical machinery to first-order modal logic. In this short paper we introduce first-order hybrid logic and we give a survey of work in the area.",
author = "Torben Bra{\"u}ner",
note = "Extended abstracts",
year = "2011",
language = "English",
isbn = "987-80-87465-00-4",
pages = "35--41",
editor = "Petr Cintula and Shier Ju and Martin V{\'i}ta",
booktitle = "Volume of abstracts",
publisher = "F solutions",
address = "Czech Republic",

}

Braüner, T 2011, First-Order Hybrid Logic: Introduction and Survey. i P Cintula, S Ju & M Víta (red), Volume of abstracts: Non-classical Modal and Predicate Logics. F solutions, Prague, s. 35-41, Non-classical Modal and Predicate Logics 2011, Guangzhou, Canton, Kina, 05/12/2011.

First-Order Hybrid Logic : Introduction and Survey. / Braüner, Torben.

Volume of abstracts: Non-classical Modal and Predicate Logics. red. / Petr Cintula; Shier Ju; Martin Víta. Prague : F solutions, 2011. s. 35-41.

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

TY - GEN

T1 - First-Order Hybrid Logic

T2 - Introduction and Survey

AU - Braüner, Torben

N1 - Extended abstracts

PY - 2011

Y1 - 2011

N2 - Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic is obtained by adding first-order machinery to propositional hybrid logic, or equivalently, by adding hybrid-logical machinery to first-order modal logic. In this short paper we introduce first-order hybrid logic and we give a survey of work in the area.

AB - Hybrid logic is an extension of modal logic which allows us to refer explicitly to points of the model in the syntax of formulas. It is easy to justify interest in hybrid logic on applied grounds, with the usefulness of the additional expressive power. For example, when reasoning about time one often wants to build up a series of assertions about what happens at a particular instant, and standard modal formalisms do not allow this. What is less obvious is that the route hybrid logic takes to overcome this problem often actually improves the behaviour of the underlying modal formalism. For example, it becomes far simpler to formulate proof-systems for hybrid logic, and completeness results can be proved of a generality that is simply not available in modal logic. That is, hybridization is a systematic way of remedying a number of known deficiencies of modal logic. First-order hybrid logic is obtained by adding first-order machinery to propositional hybrid logic, or equivalently, by adding hybrid-logical machinery to first-order modal logic. In this short paper we introduce first-order hybrid logic and we give a survey of work in the area.

M3 - Article in proceedings

SN - 987-80-87465-00-4

SP - 35

EP - 41

BT - Volume of abstracts

A2 - Cintula, Petr

A2 - Ju, Shier

A2 - Víta, Martin

PB - F solutions

CY - Prague

ER -

Braüner T. First-Order Hybrid Logic: Introduction and Survey. I Cintula P, Ju S, Víta M, red., Volume of abstracts: Non-classical Modal and Predicate Logics. Prague: F solutions. 2011. s. 35-41