 | 2011 |
|---|
| 7 |       | Marta Bílková,
Alexander Kurz,
Daniela Petrisan,
Jiri Velebil:
Relation Liftings on Preorders and Posets.
CALCO 2011: 115-129 |
| 6 | | Marta Bílková,
Jiri Velebil,
Yde Venema:
On monotone modalities and adjointness.
Mathematical Structures in Computer Science 21(2): 383-416 (2011) |
| 2010 |
|---|
| 5 | | Marta Bílková,
Ondrej Majer,
Michal Pelis,
Greg Restall:
Relevant Agents.
Advances in Modal Logic 2010: 22-38 |
| 2009 |
|---|
| 4 | | Marta Bílková:
A Note on Uniform Interpolation Proofs in Modal Deep Inference Calculi.
TbiLLC 2009: 30-45 |
| 3 | | Marta Bílková,
Dick de Jongh,
Joost J. Joosten:
Interpretability in PRA.
Ann. Pure Appl. Logic 161(2): 128-138 (2009) |
| 2008 |
|---|
| 2 | | Marta Bílková,
Alessandra Palmigiano,
Yde Venema:
Proof systems for the coalgebraic cover modality.
Advances in Modal Logic 2008: 1-21 |
| 2007 |
|---|
| 1 | | Marta Bílková:
Uniform Interpolation and Propositional Quantifiers in Modal Logics.
Studia Logica 85(1): 1-31 (2007) |
Data released under the ODC-BY 1.0 license — See also our legal information page