-
2
-
-
0012211677
-
Towards a Computational Treatment of Deontic Defeasibility
-
M. Brown and J. Carmo (eds), Springer-Verlag, Berlin, 1996
-
Alberto Artosi, Guido Governatori and Giovanni Sartor 1996. Towards a Computational Treatment of Deontic Defeasibility. In M. Brown and J. Carmo (eds). Deontic Logic, Agency and Normative Systems. Workshop in Computing, Springer-Verlag, Berlin, 1996: 27-46.
-
(1996)
Deontic Logic, Agency and Normative Systems. Workshop in Computing
, pp. 27-46
-
-
Artosi, A.1
Governatori, G.2
Sartor, G.3
-
3
-
-
0003874773
-
-
Cambridge University Press, Cambridge, 1994
-
George Boolos 1993. The Logic of Provability. Cambridge University Press, Cambridge, 1994.
-
(1993)
The Logic of Provability
-
-
Boolos, G.1
-
6
-
-
0001417922
-
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics
-
Marcello D’Agostino and Dov M. Gabbay 1994. A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. Journal of Automated Reasoning 13, 1994: 243-281.
-
(1994)
Journal of Automated Reasoning
, vol.13
, Issue.1994
, pp. 243-281
-
-
D’Agostino, M.1
Gabbay, D.M.2
-
7
-
-
0004319964
-
The semantic Foundations of Logic
-
Kluwer, Dordrecht, 1990
-
Richard D. Epstein 1990. The semantic Foundations of Logic. Volume 1: Propositional Logics. Kluwer, Dordrecht, 1990.
-
(1990)
Propositional Logics
, vol.1
-
-
Epstein, R.D.1
-
11
-
-
84949220981
-
Labelled Tableaux for Multimodal Logics
-
P. Baumgatner, R. Hänhle, J. Posegga eds, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1995
-
Guido Governatori 1995. Labelled Tableaux for Multimodal Logics, in P. Baumgatner, R. Hänhle, J. Posegga eds. Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence, Springer-Verlag, Berlin, 1995: 79-95
-
(1995)
Fourth Workshop on Theorem Proving with Analytic Tableaux and Related Methods
, pp. 79-95
-
-
Governatori, G.1
-
12
-
-
84984020790
-
On the Logic of Deontic Conditionals
-
Andrew J.I. Jones 1991. On the Logic of Deontic Conditionals. Ratio Juris 4, 1991: 355-366.
-
(1991)
Ratio Juris
, vol.4
, Issue.1991
, pp. 355-366
-
-
Jones, J.I.J.1
-
13
-
-
0007727394
-
Ideality, Sub-Ideality and Deontic Logic
-
Andrew J.I. Jones and Ingmar Pörn 1985. Ideality, Sub-Ideality and Deontic Logic. Synthese 65, 1985: 275-290.
-
(1985)
Synthese
, vol.65
, Issue.1985
, pp. 275-290
-
-
Jones, J.I.J.1
Pörn, I.2
-
14
-
-
0011346544
-
Ought" and "Must
-
Andrew J.I. Jones and Ingmar Pörn 1986. "Ought" and "Must". Synthese 66, 1986: 89-93.
-
(1986)
Synthese
, vol.66
, Issue.1986
, pp. 89-93
-
-
Jones, J.I.J.1
Pörn, I.2
-
15
-
-
84947902162
-
Sulla logica delle norme (manoscritto)
-
1989
-
Hans Kelsen 1989. Sulla logica delle norme (manoscritto). Materiali per una cultura giuridica XIX, 1989: 454-468.
-
(1989)
Materiali per una cultura giuridica
, vol.19
, pp. 454-468
-
-
Kelsen, H.1
-
16
-
-
0001424061
-
Semantics-Based Translation Methods for Modal Logics
-
Hans J. Ohlbach 1991. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation 1, 1991: 691-746.
-
(1991)
Journal of Logic and Computation
, vol.1
, Issue.1991
, pp. 691-746
-
-
Ohlbach, H.J.1
-
17
-
-
8744292191
-
Generalising Propositional Modal Logic Using Labelled Deductive Systems
-
Forthcoming
-
Alessandra Russo 1996. Generalising Propositional Modal Logic Using Labelled Deductive Systems. In Proceedings of FroCoS, Forthcoming.
-
(1996)
Proceedings of FroCoS
-
-
Russo, A.1
|