Erica Calardo

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

2 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 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		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		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

1 Vladimir V. Rybakov [2]