Erica Calardo Vis

List of publications from the DBLP Bibliography Server - FAQ

* 2007

2 EE Erica Calardo, Vladimir V. Rybakov: An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Logic Journal of the IGPL 15(3): 239-254 (2007)

2006

1 EE Erica Calardo: Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK. Logic Journal of the IGPL 14(1): 15-34 (2006)

*	2007
2	EE	Erica Calardo, Vladimir V. Rybakov: An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Logic Journal of the IGPL 15(3): 239-254 (2007)
	2006
1	EE	Erica Calardo: Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK. Logic Journal of the IGPL 14(1): 15-34 (2006)

Coauthor Index