Switch to: Citations

References in:

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)

Add references

You must login to add references.
  1. 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.
    It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Natural deduction for first-order hybrid logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
    This is a companion paper to Braüner where a natural deduction system for propositional hybrid logic is given. In the present paper we generalize the system to the first-order case. Our natural deduction system for first-order hybrid logic can be extended with additional inference rules corresponding to conditions on the accessibility relations and the quantifier domains expressed by so-called geometric theories. We prove soundness and completeness and we prove a normalisation theorem. Moreover, we give an axiom system first-order hybrid logic.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • [Omnibus Review].M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602-602.
    Download  
     
    Export citation  
     
    Bookmark   51 citations