Mīmāṃsā deontic logic: proof theory and applications

, , &
In Hans De Nivelle (ed.), Automated Reasoning with Analytic Tableaux and Related Methods. Springer. pp. 323--338 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Doing the right things–trivalence in deontic action logic.Piotr Kulicki & Robert Trypuz - 2012 - Trivalent Logics and Their Applications.
Logic: from foundation to applications: European logic colloquium.Wilfrid Hodges (ed.) - 1996 - New York: Oxford University Press.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - Journal of Philosophical Logic 42 (2):285-315.
Setna — prosta teoria norm i działań.Robert Trypuz - 2008 - Filozofia Nauki 3 (4):155--175.
A Labelled Deduction System for Kanger's Theory of Rights.Berislav Žarnić - 2006 - Filozofska Istrazivanja 26 (3):731-755.
Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Deontic Logic.Paul McNamara - 2006 - In Dov Gabbay & John Woods (eds.), The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century. Elsevier Press. pp. 197-288.
Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava.Berislav Žarnić - 2006 - Filozofska Istrazivanja 26 (3):731-755.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2011. College Publications.
Agency and deontic logic.John Horty - 2001 - New York: Oxford University Press.
Contrary-to-Duty Reasoning: A Categorical Approach.Clayton Peterson - 2015 - Logica Universalis 9 (1):47-92.
Mally’s Deontic Logic: Reducibility and Semantics.Gert-Jan C. Lokhorst - 2015 - Journal of Philosophical Logic 44 (3):309-319.
Obligations and prohibitions in Talmudic deontic logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.

Analytics

Added to PP
2015-11-14

Downloads
71 (#231,054)

6 months
11 (#237,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Elisa Freschi
University of Toronto, St. George Campus

Citations of this work

Add more citations

References found in this work

No references found.

Add more references