A Tableau system for a first-order hybrid logic

In Jørgen Villadsen, Thomas Bolander & Torben Braüner (eds.), Proceedings of the International Workshop on Hybrid Logic 2007 (HyLo 2007) (2007)
  Copy   BIBTEX

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. 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.

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Hybrid Public Announcement Logic with Distributed Knowledge.Jens Ulrik Hansen - 2011 - Electronic Notes in Theoretical Computer Science 273:33-50.
Decidability of a Hybrid Duration Calculus.Thomas Bolander, Jens Ulrik Hansen & Michael R. Hansen - 2007 - Electronic Notes in Theoretical Computer Science 174 (3):113-133.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Decision procedures for some strong hybrid logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
Terminating tableau systems for hybrid logic with difference and converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Hybrid languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Hybrid Logic as extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Humanities Journal of Valparaiso 13:34-67.
Completeness in Hybrid Type Theory.Carlos Areces, Patrick Blackburn, Antonia Huertas & María Manzano - 2013 - Journal of Philosophical Logic (2-3):1-30.
An efficient approach to nominal equalities in hybrid logic tableaux.Serenella Cerrito & Marta Cialdea Mayer - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):39-61.
Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
Deductive Systems and the Decidability Problem for Hybrid Logics.Michał Zawidzki - 2014 - Cambridge University Press.
Revising Carnap’s Semantic Conception of Modality.Toby Meadows - 2012 - Studia Logica 100 (3):497-515.
Avoiding duplications in tableau systems for intuitionistic logic and Kuroda logic.P. Miglioli, U. Moscato & M. Ornaghi - 1997 - Logic Journal of the IGPL 5 (1):145-167.
Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.

Analytics

Added to PP
2020-01-13

Downloads
11 (#1,110,001)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Logical Structure of ‘Rago-knowledge’.Wonjae Ha - 2022 - 철학적 분석 48:91-123.

Add more citations

References found in this work

[Omnibus Review].M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602-602.
World travelling and mood swings.Kai F. Wehmeier - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers.
Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.

Add more references