Items where Author is "Calardo, Erica"
Up a level |
Article
Calardo, Erica and Rybakov, Vladimir V. (2007) An axiomatisation for the multi-modal logic of knowledge and linear time LTK. Logic journal of IGPL, 15 (3). pp. 239-254. ISSN 1368-9894
Calardo, Erica and Rybakov, Vladimir V. (2005) Combining time and knowledge, semantic approach. Bulletin of the section of logic, 34 (1). pp. 13-22. ISSN 0138-0680
Thesis
Calardo, Erica (2008) Inference Rules in some temporal multi-epistemic propositional logics. Doctoral thesis (PhD), Manchester Metropolitan University.