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
    Number of items: 3.

    Calardo, Erica (2008) Inference Rules in some temporal multi-epistemic propositional logics. Doctoral thesis (PhD), Manchester Metropolitan University.

    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

    This list was generated on Mon Feb 6 05:10:23 2023 GMT.