Vlasta Sikimi\'c

Identifiers

• name variant Vlasta Sikimi\'c 0.60 · backfill

Papers (3)

1. Features have life history. And we should care q-bio.NC · 2026 · author #3
2. Multi-type Display Calculus for Dynamic Epistemic Logic math.LO · 2018 · author #5
3. A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic math.LO · 2018 · author #5

Mentions

• 2605.18789 #3 · arxiv_oai · confidence 0.70 Vlasta Sikimi\'c

Frequent Coauthors

• Alessandra Palmigiano 2 shared papers
• Alexander Kurz 2 shared papers
• Giuseppe Greco 2 shared papers
• Sabine Frittella 2 shared papers
• Philipp Stecher 1 shared papers
• Reinhard Kahle 1 shared papers
• Sandro Radovanovi\'c 1 shared papers