e-space
Manchester Metropolitan University's Research Repository

Items where Author is "Calardo, Erica"

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article | Thesis
Number of items: 3.

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.

This list was generated on Sun Aug 25 03:40:42 2019 BST.