Erica Calardo

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 4

Top Topics

Agent Oriented Programming Language

Logical Framework

Top Venues

Fundam. Informaticae

J. Philos. Log.

Manchester Metropolitan University, UK (PHD)

Education History

Manchester Metropolitan University, UK

PHD

Publications

Erica Calardo, Guido Governatori, Antonino Rotolo
Sequence Semantics for Modelling Reason-based Preferences. Fundam. Informaticae 158 (1-3) (2018)
Erica Calardo, Antonino Rotolo
Quantification in Some Non-normal Modal Logics. J. Philos. Log. 46 (5) (2017)
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
Sequence Semantics for Normative Agents. PRIMA (2016)
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo
Sequence Semantics for Norms and Obligations. DEON (2016)
Erica Calardo, Guido Governatori, Antonino Rotolo
Semantics for Modelling Reason-Based Preferences. PRIMA (2015)
Erica Calardo, Antonino Rotolo
Variants of multi-relational semantics for propositional non-normal modal logics. J. Appl. Non Class. Logics 24 (4) (2014)
Erica Calardo, Guido Governatori, Antonino Rotolo
A Preference-Based Semantics for CTD Reasoning. DEON (2014)
Clara Smith, Erica Calardo, Antonino Rotolo, Giovanni Sartor
Legal Responsibility for the Acts of Others: A Logical Analysis. RuleML (2014)
Guido Governatori, Antonino Rotolo, Erica Calardo
Possible World Semantics for Defeasible Deontic Logic. DEON (2012)
Erica Calardo, Vladimir V. Rybakov
An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK. Log. J. IGPL 15 (3) (2007)
Erica Calardo
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK. Log. J. IGPL 14 (1) (2006)