21 found
Order:
Disambiguations
Torben Braüner [17]T. Brauner [5]
  1.  47
    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.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  2.  7
    Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015, Pp. 450. ISBN-13: 978-1-118-75127-5 $42, ISBN-10: 978-1-118-75127-2 $37.99. [REVIEW]Torben Braüner - 2018 - Studia Logica 106 (3):671-673.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  17
    Kastner, RE.L. Bovens, T. Brauner, B. J. Copeland, C. S. Delancey, J. Dubucs, K. Fine, A. Galton, N. Georgalis, J. Gert & K. Green - 2006 - Synthese 150:511.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography   6 citations  
  4.  24
    Two Natural Deduction Systems for Hybrid Logic: A Comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
    In this paper two different natural deduction systems forhybrid logic are compared and contrasted.One of the systems was originally given by the author of the presentpaper whereasthe other system under consideration is a modifiedversion of a natural deductionsystem given by Jerry Seligman.We give translations in both directions between the systems,and moreover, we devise a set of reduction rules forthe latter system bytranslation of already known reduction rules for the former system.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  5.  4
    A Cut-Free Gentzen Formulation Of The Modal Logic S5.T. Braüner - 2000 - Logic Journal of the IGPL 8 (5):629-643.
    The goal of this paper is to introduce a new Gentzen formulation of the modal logic S5. The history of this problem goes back to the fifties where a counter-example to cut-elimination was given for an otherwise natural and straightforward formulation of S5. Since then, several cut-free Gentzen style formulations of S5 have been given. However, all these systems are technically involved, and furthermore, they differ considerably from Gentzen's original formulation of classical logic. In this paper we give a new (...)
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  6.  2
    Intuitionistic Hybrid Logic.Torben Braüner & Valeria de Paiva - 2006 - Journal of Applied Logic 4 (3):231-255.
    Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first constructive version of hybrid logic, thereby showing that it is possible to hybridize constructive modal logics. Alternative systems are discussed, but we fix on a reasonable and well-motivated version of intuitionistic hybrid logic and prove essential proof-theoretical results for a natural deduction formulation of it. Our natural deduction system is also extended with additional inference (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  7.  72
    Modal Logic, Truth, and the Master Modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.
    In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a socalled master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  8.  18
    Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks.Torben Braüner - 2014 - Journal of Logic, Language and Information 23 (4):415-439.
    The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  9.  19
    Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere.Torben Braüner - 2005 - Studia Logica 81 (2):191-226.
    A hybrid logic is obtained by adding to an ordinary modal logic further expressive power in the form of a second sort of propositional symbols called nominals and by adding so-called satisfaction operators. In this paper we consider hybridized versions of S5 (“the logic of everywhere”) and the modal logic of inequality (“the logic of elsewhere”). We give natural deduction systems for the logics and we prove functional completeness results.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  29
    Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic.Torben Braüner - 2006 - Journal of Logic, Language and Information 15 (3):179-194.
    In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  11.  10
    Index of Authors of Volume 14.N. Alechina, A. Altman, V. Becher, G. A. Bodanza, T. Braüner, A. Branco, P. Buitelaar, J. Cantwell, H. De Nivelle & S. Degeilh - 2005 - Journal of Logic, Language and Information 14 (4):489.
  12.  16
    Torben Braüner, Per Hasle and Peter Øhrstrøm/Preface Patrick Blackburn/Arthur Prior and Hybrid Logic B. Jack Copeland/Meredith, Prior, and the History of Possible Worlds Semantics.Torben Braüner - 2006 - Synthese 150 (1):509-510.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  13
    Index of Authors of Volume 13.G. Allwein, C. Areces, G. Ben-Avi, R. la BerkBernardi, P. Blackburn, J. Bos, T. Braüner, J. M. Castano & R. Cooper - 2004 - Journal of Logic, Language and Information 13 (535):535-535.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  1
    Functional Completenes for a Natural Deduction Formulation of Hybridized S5.Torben Braüner - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 31-49.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  1
    Many-Valued Hybrid Logic.Jens Hansen, Thomas Bolander & Torben Braüner - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 111-132.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  10
    Why Does the Proof-Theory of Hybrid Logic Work so Well?Torben Braüner - 2007 - Journal of Applied Non-Classical Logics 17 (4):521-543.
  17.  2
    First-Order Hybrid Logic: Introduction and Survey.T. Brauner - 2014 - Logic Journal of the IGPL 22 (1):155-165.
  18.  2
    Preface.Torben Braüner & Thomas Bolander - 2009 - Journal of Logic, Language and Information 18 (4):435-436.
  19. Advances in Modal Logic 9.Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.) - 2012 - College Publications.
     
    Export citation  
     
    My bibliography  
  20. Homophonic Theory of Truth for Tense Logic.Torben Braüner - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 59-72.
    No categories
     
    Export citation  
     
    My bibliography  
  21. Synthetic Completeness Proofs for Seligman-Style Tableau Systems.Klaus Frovin Jørgensen, Patrick Blackburn, Thomas Bolander & Torben Braüner - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 302-321.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography