Switch to: References

Citations of:

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 citations

You must login to add citations.
  1. The Logical Structure of ‘Rago-knowledge’.Wonjae Ha - 2022 - 철학적 분석 48:91-123.
    It is natural to suppose the following three: factivity of knowledge, alda-know synonymy, and the univocity of alda. However, rago-knowledge attribution, expressed by “rago alda” sentences, seems to defeat to hold them at once. In this paper, I try to dissolve this predicament, analyzing “rago alda” sentence as a kind of hybrid language expression. And the theoretical advantages, which my analysis has over other possible, alternative approaches, are to be shown.
    Download  
     
    Export citation  
     
    Bookmark