Daniel Gorín

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Subsumption checking in conjunctive coalgebraic fixpoint logics (available as arXiv preprint)	2018-04-23	Paper
Unsorted functional translations Electronic Notes in Theoretical Computer Science	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 Journal of Computer and System Sciences	2014-06-10	Paper
Simulations and bisimulations for coalgebraic modal logics Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Coalgebraic Announcement Logics Automata, Languages, and Programming	2013-08-07	Paper
On the size of shortest modal descriptions	2012-08-05	Paper
Narcissists are easy, stepmothers are hard Foundations of Software Science and Computational Structures	2012-06-22	Paper
Using logic in the generation of referring expressions Logical Aspects of Computational Linguistics	2011-07-01	Paper
On the expressive power of IF-logic with classical negation Logic, Language, Information and Computation	2011-05-27	Paper
Enforcing structural invariants using dynamic frames Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
Resolution with order and selection for hybrid logics Journal of Automated Reasoning	2011-04-05	Paper
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) Journal of Applied Logic	2011-03-22	Paper
On the formal semantics of IF-like logics Journal of Computer and System Sciences	2010-07-08	Paper
Tableaux and model checking for memory logics Lecture Notes in Computer Science	2009-12-01	Paper
On the Formal Semantics of IF-Like Logics Logic, Language, Information and Computation	2008-07-10	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper

Research outcomes over time

This page was built for person: Daniel Gorín