Rigid First-Order Hybrid Logic

Patrick Rowan Blackburn, Manuel Martins, Maria Manzano, Antonia Huertas

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

Abstract

Hybrid logic is usually viewed as a variant of modal logicin which it is possible to refer to worlds. But when one moves beyondpropositional hybrid logic to first or higher-order hybrid logic, it becomesuseful to view it as a systematicmodal language of rigidification.Thekeypoint is this: @ can be used to rigidify not merely formulas, but othertypes of symbol as well. This idea was first explored in first-order hybridlogic (without function symbols) where @ was used to rigidify the first-order constants. It has since been used in hybrid type-theory: here oneonly has function symbols, but they are of every finite type, and @ canrigidify any of them. This paper fills the remaining gap: it introduces afirst-order hybrid language which handles function symbols, and allowspredicate symbols to be rigidified. The basic idea is straightforward, butthere is a slight complication: transferring information about rigiditybetween the level of terms and formulas. We develop a syntax to dealwith this, provide an axiomatization, and prove a strong completenessresult for a varying domain (actualist) semantics.
OriginalsprogEngelsk
TitelLogic, Language, Information, and Computation : 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
RedaktørerRosalie Lemhoff, Michael Moortgat, Ruy de Queiroz
Antal sider17
Udgivelses stedBerlin
ForlagSpringer
Publikationsdato2 jul. 2019
Sider53-69
ISBN (Trykt)978-366-259-5329
DOI
StatusUdgivet - 2 jul. 2019
Begivenhed26th Workshop on Logic, Language, Information and Computation - Utrecht University, Utrecht, Holland
Varighed: 2 jul. 20195 jul. 2019
https://wollic2019.sites.uu.nl/

Workshop

Workshop26th Workshop on Logic, Language, Information and Computation
LokationUtrecht University
LandHolland
ByUtrecht
Periode02/07/201905/07/2019
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind11541
ISSN0302-9743

Citer dette