( en | de | ru )

 

Disambiguation of "Gorín, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Extending ALCQ with Bounded Self-Reference.

, and . Advances in Modal Logic, page 300-316. College Publications, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Gorin

Arseniy Gorin

Monika Gorin

Jérôme Gorin

Wolfgang Göring

 

Other publications of authors with the same name

Ordered Resolution with Selection for H(@)., and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 125-141. Springer, (2004)Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics., and . Advances in Modal Logic, page 254-273. College Publications, (2014)Testing Provers on a Grid - Framework Description., , , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 396-402. Springer, (2014)Enforcing Structural Invariants Using Dynamic Frames., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 65-80. Springer, (2011)Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)., and . J. Appl. Log., 8 (4): 305-318 (2010)A Software Tool for Legal Drafting, , and . FLACOS, volume 68 of EPTCS, page 71-86. (2011)On the Expressive Power of IF-Logic with Classical Negation., , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 135-145. Springer, (2011)Reasoning with Bounded Self-reference Using Logical Interpreters., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 689-703. CEUR-WS.org, (2013)Narcissists Are Easy, Stepmothers Are Hard., and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 240-254. Springer, (2012)