Mauricio Martel

Identifiers

No identifiers captured yet.

Papers (2)

1. Conservative Extensions in Guarded and Two-Variable Fragments cs.LO · 2017 · author #3
2. Relation-Changing Logics as Fragments of Hybrid Logics cs.LO · 2016 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Carlos Areces 1 shared papers
• Carsten Lutz 1 shared papers
• Frank Wolter 1 shared papers
• Guillaume Hoffmann 1 shared papers
• Jean Christoph Jung 1 shared papers
• Raul Fervari 1 shared papers
• Thomas Schneider 1 shared papers