Erica Calardo

According to our database, Erica Calardo authored at least 12 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Sequence Semantics for Modelling Reason-based Preferences.

Erica Calardo, Guido Governatori, Antonino Rotolo

Fundam. Informaticae, 2018

2017

Quantification in Some Non-normal Modal Logics.

Erica Calardo, Antonino Rotolo

J. Philos. Log., 2017

2016

Sequence Semantics for Normative Agents.

Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani

Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

Sequence Semantics for Norms and Obligations.

Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Semantics for Modelling Reason-Based Preferences.

Erica Calardo, Guido Governatori, Antonino Rotolo

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

2014

Variants of multi-relational semantics for propositional non-normal modal logics.

Erica Calardo, Antonino Rotolo

J. Appl. Non Class. Logics, 2014

Legal Responsibility for the Acts of Others: A Logical Analysis.

Clara Smith, Erica Calardo, Antonino Rotolo, Giovanni Sartor

Proceedings of the Rules on the Web. From Theory to Applications, 2014

A Preference-Based Semantics for CTD Reasoning.

Erica Calardo, Guido Governatori, Antonino Rotolo

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2012

Possible World Semantics for Defeasible Deontic Logic.

Guido Governatori, Antonino Rotolo, Erica Calardo

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

2008

Inference Rules in some temporal multi-epistemic propositional logics.

Erica Calardo

PhD thesis, 2008

2007

An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK.

Erica Calardo, Vladimir V. Rybakov

Log. J. IGPL, 2007

2006

Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK.

Erica Calardo

Log. J. IGPL, 2006