Marta Bílková

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index