Daniel Gorín

Available identifiers

Publication	Date of Publication	Type
Subsumption checking in conjunctive coalgebraic fixpoint logics	2018-04-23	Paper
Unsorted functional translations	2016-10-07	Paper
Extending \({\mathcal A}{\mathcal L}{\mathcal C}{\mathcal Q}\) with bounded self-reference	2014-06-11	Paper
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies	2014-06-10	Paper
Simulations and bisimulations for coalgebraic modal logics	2013-09-13	Paper
Coalgebraic Announcement Logics	2013-08-07	Paper
On the size of shortest modal descriptions	2012-08-05	Paper
Narcissists are easy, stepmothers are hard	2012-06-22	Paper
Using logic in the generation of referring expressions	2011-07-01	Paper
On the expressive power of IF-logic with classical negation	2011-05-27	Paper
Enforcing structural invariants using dynamic frames	2011-05-19	Paper
Resolution with order and selection for hybrid logics	2011-04-05	Paper
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)	2011-03-22	Paper
On the formal semantics of IF-like logics	2010-07-08	Paper
Tableaux and model checking for memory logics	2009-12-01	Paper
On the Formal Semantics of IF-Like Logics	2008-07-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper

This page was built for person: Daniel Gorín