The following pages link to Daniel Gorín (Q631074):
Displaying 17 items.
- Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) (Q631075) (← links)
- On the formal semantics of IF-like logics (Q980942) (← links)
- Resolution with order and selection for hybrid logics (Q2429982) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- Unsorted Functional Translations (Q2825403) (← links)
- Simulations and Bisimulations for Coalgebraic Modal Logics (Q2848953) (← links)
- Narcissists Are Easy, Stepmothers Are Hard (Q2892774) (← links)
- (Q2904050) (← links)
- Enforcing Structural Invariants Using Dynamic Frames (Q3000638) (← links)
- On the Expressive Power of IF-Logic with Classical Negation (Q3003355) (← links)
- Using Logic in the Generation of Referring Expressions (Q3010333) (← links)
- On the Formal Semantics of IF-Like Logics (Q3511456) (← links)
- Tableaux and Model Checking for Memory Logics (Q3648720) (← links)
- (Q4636297) (← links)
- Coalgebraic Announcement Logics (Q5327426) (← links)
- (Q5419885) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705955) (← links)
