Follow
Erica Calardo
Erica Calardo
CIRSFID University of Bologna
Verified email at unibo.it
Title
Cited by
Cited by
Year
Possible world semantics for defeasible deontic logic
G Governatori, A Rotolo, E Calardo
Deontic Logic in Computer Science: 11th International Conference, DEON 2012 …, 2012
302012
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
172007
Admissible inference rules in the linear logic of knowledge and time LTK
E Calardo
Logic Journal of the IGPL 14 (1), 15-34, 2006
142006
Combining time and knowledge, semantic approach
E Calardo, VV Rybakov
Bulletin of the Section of Logic 34 (1), 13-21, 2005
122005
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
112016
Sequence semantics for norms and obligations
G Guido, O Francesco, E Calardo, A Rotolo
Deontic Logic and Normative Systems. 13th International Conference, DEON …, 2016
112016
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
112014
A preference-based semantics for CTD reasoning
E Calardo, G Governatori, A Rotolo
Deontic Logic and Normative Systems: 12th International Conference, DEON …, 2014
112014
Sequence semantics for modelling reason-based preferences
E Calardo, G Governatori, A Rotolo
Fundamenta Informaticae 158 (1-3), 217-238, 2018
92018
Quantification in some non-normal modal logics
E Calardo, A Rotolo
Journal of Philosophical Logic 46 (5), 541-576, 2017
62017
Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics
E Calardo
alma, 2013
62013
Semantics for modelling reason-based preferences
E Calardo, G Governatori, A Rotolo
International Conference on Principles and Practice of Multi-Agent Systems …, 2015
42015
A sequence semantics for deontic logic
E Calardo, G Governatori, A Rotolo
Under submission, 2015
32015
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
32014
God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics
E Calardo, A Rotolo
Logic in Theology, 61-88, 2013
32013
Inference Rules in some temporal multi-epistemic propositional logics
E Calardo
Manchester Metropolitan University, 2008
12008
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
The system can't perform the operation now. Try again later.
Articles 1–20