Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Alberto Artosi, Paola Cattabriga and Guido Governatori. 1994. An automated Approach to Normative Reasoning. In J. Breuker (ed.), Artificial Normative Reasoning, Workshop ECAI 1994: 132–145.
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.
George Boolos 1993. The Logic of Provability. Cambridge University Press, Cambridge, 1994.
Brian Chellas 1981. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1981.
Marcello D'Agostino and Marco Mondadori 1994. The Taming of the Cut. Journal of Logic and Computation 4, 1994: 285–319.
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.
Richard D. Epstein 1990. The semantic Foundations of Logic. Volume 1: Propositional Logics. Kluwer, Dordrecht, 1990.
Melvin Fitting 1983. Proof Methods for Modal and Intuitionistic Logic. Reidel, Dordrecht, 1983.
Melvin Fitting 1988. First Order Modal Tableaux. Journal of Automated Reasoning 1988; 4: 191–213.
Dov M. Gabbay 1994. Combining Labelled Deductive Systems. MEDLAR II, ESPRIT Basic Research Project 6471, Deliverable DIII.1.2-1P: 285–334.
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
Andrew J.I. Jones 1991. On the Logic of Deontic Conditionals. Ratio Juris 4, 1991: 355–366.
Andrew J.I. Jones and Ingmar Pörn 1985. Ideality, Sub-Ideality and Deontic Logic. Synthese 65, 1985: 275–290.
Andrew J.I. Jones and Ingmar Pörn 1986. “Ought” and “Must”. Synthese 66, 1986: 89–93.
Hans Kelsen 1989. Sulla logica delle norme (manoscritto). Materiali per una cultura giuridica XIX, 1989: 454–468.
Hans J. Ohlbach 1991. Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation 1, 1991: 691–746.
Alessandra Russo 1996. Generalising Propositional Modal Logic Using Labelled Deductive Systems. In Proceedings of FroCoS, Forthcoming.
Raymond Smullyan 1988. Forever Undecided. A Puzle Guide to Gödel. Oxford University Press, Oxford, 1988.
Lincoln A. Wallen 1990. Automated Deduction in Non-Classical Logics. The MIT Press, Cambridge (Mass.), 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Governatori, G. (1996). Labelling ideality and subideality. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_80
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_80
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive