Works by Daniel Gorín

( view other items matching `Daniel Gorín`, view all matches )
Order:
  1.  14
    Coinductive models and normal forms for modal logics.Carlos Areces & Daniel Gorín - 2010 - Journal of Applied Logic 8 (4):305-318.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  5
    Extending ALCQ with Bounded Self-Reference.Daniel Gorín & Lutz Schröder - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 300-316.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark