4 found
Order:
  1.  6
    Decision Procedures for Some Strong Hybrid Logics.Andrzej Indrzejczak & Michał Zawidzki - 2013 - Logic and Logical Philosophy 22 (4):389-409.
    Hybrid logics are extensions of standard modal logics, which significantly increase the expressive power of the latter. Since most of hybrid logics are known to be decidable, decision procedures for them is a widely investigated field of research. So far, several tableau calculi for hybrid logics have been presented in the literature. In this paper we introduce a sound, complete and terminating tableau calculus T H(@,E,D, ♦ −) for hybrid logics with the satisfaction operators, the universal modality, the difference modality (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Everything is a Relation: A Preview.Michał Zawidzki & Joanna Golińska-Pilarek - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Engaged in Relations: A Trialogue.Michał Zawidzki, Joanna Golińska-Pilarek & Ewa Orłowska - 2018 - In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  5
    Ewa Orłowska on Relational Methods in Logic and Computer Science.Michał Zawidzki & Joanna Golińska-Pilarek (eds.) - 2018 - Springer Verlag.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark