Pokaż uproszczony rekord

Tableaux for some deontic logics with the explicit permission operator

dc.contributor.authorGlavaničová, Daniela
dc.contributor.authorJarmużek, Tomasz
dc.contributor.authorKlonowski, Mateusz
dc.contributor.authorKulicki, Piotr
dc.date.accessioned2022-08-25T13:00:39Z
dc.date.available2022-08-25T13:00:39Z
dc.date.issued2022-06-23
dc.identifier.issn0138-0680
dc.identifier.urihttp://hdl.handle.net/11089/42929
dc.description.abstractIn this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly as in Andersonian-Kangerian reduction, which uses different intensional implications and constants.en
dc.language.isoen
dc.publisherWydawnictwo Uniwersytetu Łódzkiegopl
dc.relation.ispartofseriesBulletin of the Section of Logic;2en
dc.rights.urihttps://creativecommons.org/licenses/by-nc-nd/4.0
dc.subjectexplicit permissionen
dc.subjectfree choiceen
dc.subjectrelating semanticsen
dc.titleTableaux for some deontic logics with the explicit permission operatoren
dc.typeOther
dc.page.number281-295
dc.contributor.authorAffiliationGlavaničová, Daniela - Comenius University in Bratislava, Faculty of Arts, Department of Logic and Methodology of Sciences, 813 64, Gondova 2, Bratislava, Slovakiaen
dc.contributor.authorAffiliationJarmużek, Tomasz - Nicolaus Copernicus University in Toruń, Faculty of Philosophy and Social Sciences, Department of Logic, 87-100, Stanisława Moniuszki 16/20 Toruń, Polanden
dc.contributor.authorAffiliationKlonowski, Mateusz - Nicolaus Copernicus University in Toruń, Faculty of Philosophy and Social Sciences, Department of Logic, 87-100, Stanisława Moniuszki 16/20 Toruń, Polanden
dc.contributor.authorAffiliationKulicki, Piotr - The John Paul II Catholic University of Lublin, Institute of Philosophy, Department of the Foundations of Computer Science, 20-950, Aleje Raclawickie 14, Lublin, Polanden
dc.identifier.eissn2449-836X
dc.referencesA. Anderson, A reduction of deontic logic to alethic modal logic, Mind, vol. LXVII(265) (1958), pp. 100–103, DOI: https://doi.org/10.1093/mind/LXVII.265.100.en
dc.referencesA. Anderson, Some nasty problems in the formal logic of ethics, Noûs, vol. 1(4) (1967), pp. 345–360, DOI: https://doi.org/10.2307/2214623.en
dc.referencesA. J. J. Anglberger, F. Korbmacher, J. Faroldi, An exact truthmaker semantics for explicit permission and obligation, [in:] O. Roy,en
dc.referencesA. Tamminga, M. Willer (eds.), Deontic Logic and Normative Systems. 13th International Conference, DEON (2016), pp. 16–31, URL:en
dc.referenceshttp://www.collegepublications.co.uk/downloads/DEON00001.pdf.en
dc.referencesS. Artemov, The Logic of Justification, The Review of Symbolic Logic, vol. 1 (2008), pp. 477–513, DOI:en
dc.referenceshttps://doi.org/10.1017/S1755020308090060.en
dc.referencesG. Carneiro, The Logic of Normative Justification, Archives of Philosophy, vol. 51 (2019), pp. 79–115, DOI:en
dc.referenceshttps://doi.org/10.26650/arcp2019-5106.en
dc.referencesF. Dignum, J. C. Meyer, R. J. Wieringa, Free Choice and Contextually Permitted Actions, Stud Logica, vol. 57(1) (1996), pp. 193–220, DOI: https://doi.org/10.1007/BF00370675.en
dc.referencesR. L. Epstein, Relatedness and implication, Philosophical Studies, vol. 36 (1979), pp. 137–173, DOI: https://doi.org/10.1007/BF00354267.en
dc.referencesD. Glavaničová, T. Jarmużek, M. Klonowski, P. Kulicki, Free choice permission, legitimisation and relating semantics, Logic Journal of the IGPL, (2022), pp. 1–19, DOI: https://doi.org/10.1093/jigpal/jzac047.en
dc.referencesS. O. Hansson, The Varieties of Permission, [in:] D. Gabbay, J. Horty, X. Parent, R. van der Meyden, L. van der Torre (eds.), Handbook of deontic logic and normative systems, College Publications (2013), pp. 195–240, URL: http://www.collegepublications.co.uk/downloads/handbooks00001.pdf.en
dc.referencesR. Hilpinen, Deontic Logic, [in:] L. Goble (ed.), The Blackwell guide to philosophical logic, Blackwell Publishers Ltd (2001), pp. 159–182, DOI: https://doi.org/10.1002/9781405164801.ch8.en
dc.referencesT. Jarmużek, Tableau Metatheorem for Modal Logics, [in:] C. W. R. Ciuni, H. Wansing (eds.), Recent Trends in Philosophical Logic, vol. 41 of Trends in Logic, Springer, Dordrecht (2014), pp. 103–126, DOI: https://doi.org/10.1007/978-3-319-06080-4_8.en
dc.referencesT. Jarmużek, Relating semantics as fine-grained semantics for intensional logics, [in:] A. Giordani, J. Malinowski (eds.), Logic inen
dc.referencesHigh Definition, vol. 56 of Trends in Logic, Springer (2021), pp. 13–30, DOI: https://doi.org/10.1007/978-3-030-53487-5_2.en
dc.referencesT. Jarmużek, B. Kaczkowski, On some logic with a relation imposed on formulae: Tableau system F, Bulletin of the Section of Logic, vol. 43(1) (2014), pp. 53–72.en
dc.referencesT. Jarmużek, M. Klonowski, On logics of strictly-deontic modalities. A semantic and tableau approach, Logic and Logical Philosophy, vol. 29(3) (2020), pp. 335–380, DOI: https://doi.org/10.12775/LLP.2020.010.en
dc.referencesT. Jarmużek, M. Klonowski, Some intensional logics defined by relating semantics and tableau systems, [in:] A. Giordani, J. Malinowski (eds.), Logic in High Definition, vol. 56 of Trends in Logic, Springer (2021), pp. 31–48, DOI: https://doi.org/10.1007/978-3-030-53487-5_3.en
dc.referencesT. Jarmużek, J. Malinowski, Boolean Connexive Logics: Semantics and tableau approach, Logic and Logical Philosophy, vol. 28 (2019), pp. 427–448, DOI: https://doi.org/10.12775/LLP.2019.003.en
dc.referencesS. Kanger, New foundations for ethical theory, [in:] R. Hilpinen (ed.), Deontic logic. Introductory and systematic readings, D. Reidel (1981(1957)), pp. 36–58, DOI: https://doi.org/10.1007/978-94-010-3146-2_2.en
dc.referencesG. Leibniz, Elementa iuris naturalis, [in:] Sämtliche Schriften und Briefe. Sechste Reihe. Philosophische Schriften, Otto Reichl Verlagen
dc.references(1930), pp. 431–485.en
dc.referencesG.-J. Lokhorst, Andersonian deontic logic, propositional quantification, and Mally, Notre Dame Journal of Formal Logic, vol. 47(3) (2006), pp. 385–395, DOI: https://doi.org/10.1305/ndjfl/1163775445.en
dc.referencesF. Melissa, Free choice effects and exclusive disjunction, Inquiry, vol. 65(4) (2022), pp. 456–470, DOI: https://doi.org/10.1080/0020174X.2020.1758768.en
dc.contributor.authorEmailGlavaničová, Daniela - daniela.glavanicova@gmail.com
dc.contributor.authorEmailJarmużek, Tomasz - tomasz.jarmuzek@umk.pl
dc.contributor.authorEmailKlonowski, Mateusz - mateusz.klonowski@umk.pl
dc.contributor.authorEmailKulicki, Piotr - kulicki@kul.pl
dc.identifier.doi10.18778/0138-0680.2022.11
dc.relation.volume51


Pliki tej pozycji

Thumbnail
Nazwa:
281-295_Glavanicova_et_al..pdf
Rozmiar:
1.882MB
Format:
PDF
Oglądaj/Otwórz

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

https://creativecommons.org/licenses/by-nc-nd/4.0
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako https://creativecommons.org/licenses/by-nc-nd/4.0