TY - GEN
T1 - Labelling ideality and subideality
AU - Governatori, Guido
N1 - Publisher Copyright:
© Springer-Vedag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
N2 - In this paper we suggest ways in which logic and law may usefully relate; and we present an analytic proof system dealing with the Jones Pörn’s deontic logic of Ideality and Subideality, which offers some suggestions about how to embed legal systems in label formalism.
AB - In this paper we suggest ways in which logic and law may usefully relate; and we present an analytic proof system dealing with the Jones Pörn’s deontic logic of Ideality and Subideality, which offers some suggestions about how to embed legal systems in label formalism.
UR - http://www.scopus.com/inward/record.url?scp=84858657780&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84858657780&partnerID=8YFLogxK
U2 - 10.1007/3-540-61313-7_80
DO - 10.1007/3-540-61313-7_80
M3 - Conference paper
AN - SCOPUS:84858657780
SN - 3540613137
SN - 9783540613138
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 291
EP - 304
BT - Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR 1996, Proceedings
A2 - Gabbay, Dov M.
A2 - Ohlbach, Hans Jurgen
PB - Springer-Verlag Italia Srl
T2 - International Conference on Formal and Applied Practical Reasoning, FAPR 1996
Y2 - 3 June 1996 through 7 June 1996
ER -