Alfredo Burrieza

Identifiers

• name variant Alfredo Burrieza 0.60 · backfill

Papers (2)

1. Definability of Functional Properties in the Basic Modal-Temporal Language over Ordered Frames cs.LO · 2026 · author #1
2. A meta-modal logic for bisimulations cs.LO · 2025 · author #1

Mentions

• 2607.01110 #1 · arxiv_oai · confidence 0.70 Alfredo Burrieza

Frequent Coauthors

• Antonio Yuste-Ginel 1 shared papers
• Fernando Soler-Toscano 1 shared papers