Daniel Gorín

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4636297	2018-04-23	Paper
Unsorted Functional Translations	2016-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q5419885	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
https://portal.mardi4nfdi.de/entity/Q2904050	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel Gorín