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]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page