Marta Bílková

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21

2007

1 EE Marta Bílková: Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85(1): 1-31 (2007)

2008
2	EE	Marta Bílková, Alessandra Palmigiano, Yde Venema: Proof systems for the coalgebraic cover modality. Advances in Modal Logic 2008: 1-21
2007
1	EE	Marta Bílková: Uniform Interpolation and Propositional Quantifiers in Modal Logics. Studia Logica 85(1): 1-31 (2007)

Coauthor Index