Possible world semantics for defeasible deontic logic G Governatori, A Rotolo, E Calardo Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012 | 30 | 2012 |
An axiomatisation for the multi-modal logic of knowledge and linear time LTK E Calardo, VV Rybakov Logic Journal of the IGPL 15 (3), 239-254, 2007 | 17 | 2007 |
Admissible inference rules in the linear logic of knowledge and time LTK E Calardo Logic Journal of the IGPL 14 (1), 15-34, 2006 | 14 | 2006 |
Combining time and knowledge, semantic approach E Calardo, VV Rybakov Bulletin of the Section of Logic 34 (1), 13-21, 2005 | 12 | 2005 |
Sequence semantics for normative agents G Governatori, F Olivieri, E Calardo, A Rotolo, M Cristani International Conference on Principles and Practice of Multi-Agent Systems …, 2016 | 11 | 2016 |
Sequence semantics for norms and obligations G Guido, O Francesco, E Calardo, A Rotolo Deontic Logic and Normative Systems. 13th International Conference, DEON …, 2016 | 11 | 2016 |
Variants of multi-relational semantics for propositional non-normal modal logics E Calardo, A Rotolo Journal of Applied Non-Classical Logics 24 (4), 293-320, 2014 | 11 | 2014 |
A preference-based semantics for CTD reasoning E Calardo, G Governatori, A Rotolo Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014 | 11 | 2014 |
Sequence semantics for modelling reason-based preferences E Calardo, G Governatori, A Rotolo Fundamenta Informaticae 158 (1-3), 217-238, 2018 | 9 | 2018 |
Quantification in some non-normal modal logics E Calardo, A Rotolo Journal of Philosophical Logic 46 (5), 541-576, 2017 | 6 | 2017 |
Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics E Calardo alma, 2013 | 6 | 2013 |
Semantics for modelling reason-based preferences E Calardo, G Governatori, A Rotolo International Conference on Principles and Practice of Multi-Agent Systems …, 2015 | 4 | 2015 |
A sequence semantics for deontic logic E Calardo, G Governatori, A Rotolo Under submission, 2015 | 3 | 2015 |
Legal responsibility for the acts of others: A logical analysis C Smith, E Calardo, A Rotolo, G Sartor Rules on the Web. From Theory to Applications: 8th International Symposium …, 2014 | 3 | 2014 |
God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics E Calardo, A Rotolo Logic in Theology, 61-88, 2013 | 3 | 2013 |
Inference Rules in some temporal multi-epistemic propositional logics E Calardo Manchester Metropolitan University, 2008 | 1 | 2008 |
A preference-based non-normal semantics for CTD E Calardo, G Governatori, A Rotolo | | 2014 |
M. Ardeshir and F. Nabavi E Calardo, A Hussain, G Mints, T Sayed-Ahmed | | |
Substructural Logics in Natural Deduction 211 E. Zimmermann Not Everything is Possible 233 A. Iacona An Axiomatisation for the Multi-modal Logic of Knowledge LT LTK, E Calardo, VV Rybakov, R Kellerman, H Wansing | | |
Admissible rules for the multi modal logic of knowledge and time LTK1 E Calardo | | |