Authors
Abstract
This paper introduces an axiomatisation for equational hybrid logic based on previous axiomatizations and natural deduction systems for propositional and first-order hybrid logic. Its soundness and completeness is discussed. This work is part of a broader research project on the development a general proof calculus for hybrid logics.
Keywords Equational hybrid logic  Hilbert axiomatisation  Completeness
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10849-013-9184-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,417
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
First-Order Modal Logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Hybrid Identities and Hybrid Equational Logic.Klaus Denecke - 1995 - Mathematical Logic Quarterly 41 (2):190-196.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Axiomatisation and Decidability Off Andp in Cyclical Time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Modal Hybrid Logic.Andrzej Indrzejczak - 2007 - Logic and Logical Philosophy 16 (2-3):147-257.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.

Analytics

Added to PP index
2014-01-12

Total views
12 ( #784,177 of 2,449,043 )

Recent downloads (6 months)
1 ( #442,577 of 2,449,043 )

How can I increase my downloads?

Downloads

My notes