CALARDO, ERICA
CALARDO, ERICA
C.I.R. STORIA DEL DIRITTO FILOSOFIA E SOCIOLOGIA DIR. E INFORM. GIUR. "A.GAUDENZI-G.FASSO'"-CIRSFID (attivo dal 03/12/2013 al 31/12/2019)
Assegnisti
A preference-based semantics for CTD reasoning
2014 Calardo, Erica; Governatori, Guido; Rotolo, Antonino
Admissible inference rules in the linear logic of knowledge and time LTK
2006 Calardo, Erica
An axiomatisation for the multi-modal logic of knowledge and linear time LTK
2007 Calardo, Erica; Rybakov, Vladimir V.
God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics
2013 E. Calardo; A. Rotolo
Legal responsibility for the acts of others: A logical analysis
2014 Smith, Clara; Calardo, Erica; Rotolo, Antonino; Sartor, Giovanni
Possible World Semantics for Defeasible Deontic Logic
2012 G. Governatori; A. Rotolo; E. Calardo
Quantification in Some Non-normal Modal Logics
2017 Calardo, Erica; Rotolo, Antonino
Semantics for modelling reason-based preferences
2015 Calardo, Erica; Governatori, Guido; Rotolo, Antonino
Sequence Semantics for Modelling Reason-based Preferences
2018 Calardo, Erica; Governatori, Guido; Rotolo, Antonino
Sequence semantics for normative agents
2016 Governatori, Guido; Olivieri, Francesco; Calardo, Erica; Rotolo, Antonino; Cristani, Matteo
Sequence Semantics for Norms and Obligations
2016 Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo
Variants of multi-relational semantics for propositional non-normal modal logics
2014 Calardo, Erica; Rotolo, Antonino
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A preference-based semantics for CTD reasoning | Calardo, Erica; Governatori, Guido; Rotolo, Antonino | 2014-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Admissible inference rules in the linear logic of knowledge and time LTK | Calardo, Erica | 2006-01-01 | LOGIC JOURNAL OF THE IGPL | - | 1.01 Articolo in rivista | - |
| An axiomatisation for the multi-modal logic of knowledge and linear time LTK | Calardo, Erica; Rybakov, Vladimir V. | 2007-01-01 | LOGIC JOURNAL OF THE IGPL | - | 1.01 Articolo in rivista | - |
| God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics | E. Calardo; A. Rotolo | 2013-01-01 | - | Copernicus Center Press | 2.01 Capitolo / saggio in libro | - |
| Legal responsibility for the acts of others: A logical analysis | Smith, Clara; Calardo, Erica; Rotolo, Antonino; Sartor, Giovanni | 2014-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Possible World Semantics for Defeasible Deontic Logic | G. Governatori; A. Rotolo; E. Calardo | 2012-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Quantification in Some Non-normal Modal Logics | Calardo, Erica; Rotolo, Antonino | 2017-01-01 | JOURNAL OF PHILOSOPHICAL LOGIC | - | 1.01 Articolo in rivista | Calardo_Rotolo_2017_JPL.pdf |
| Semantics for modelling reason-based preferences | Calardo, Erica; Governatori, Guido; Rotolo, Antonino | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Sequence Semantics for Modelling Reason-based Preferences | Calardo, Erica; Governatori, Guido; Rotolo, Antonino | 2018-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | IOS_postprint con disclaimer-sequence semantics.pdf |
| Sequence semantics for normative agents | Governatori, Guido; Olivieri, Francesco; Calardo, Erica; Rotolo, Antonino; Cristani, Matteo | 2016-01-01 | - | Springer Verlag | 2.01 Capitolo / saggio in libro | PRIMA2016_springer-postprint.pdf |
| Sequence Semantics for Norms and Obligations | Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo | 2016-01-01 | - | College Publications | 4.01 Contributo in Atti di convegno | post_print_DEON_2016.pdf |
| Variants of multi-relational semantics for propositional non-normal modal logics | Calardo, Erica; Rotolo, Antonino | 2014-01-01 | JOURNAL OF APPLIED NON-CLASSICAL LOGICS | - | 1.01 Articolo in rivista | - |