A Non-Standard Kripke Semantics for the Minimal Deontic Logic

&
Logic and Logical Philosophy:1 (forthcoming)
  Copy   BIBTEX

Abstract

In this paper we study a new operator of strong modality ⊞, related to the non-contingency operator ∆. We then provide soundness and completeness theorems for the minimal logic of the ⊞-operator.

Categories

Keywords

Reprint years

DOI

10.12775/llp.2020.016

Links

PhilArchive



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

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

Kripke bundle semantics and c-set semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Mally’s Deontic Logic: Reducibility and Semantics.Gert-Jan C. Lokhorst - 2015 - Journal of Philosophical Logic 44 (3):309-319.
From Ideal Worlds to Ideality.Craig Warmke - 2023 - Journal of the American Philosophical Association 9 (1):114-134.
On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - 2020 - Logic and Logical Philosophy 29 (3):335–380.
Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀.Franco Montagna & Hiroakira Ono - 2002 - Studia Logica 71 (2):227-245.
Multiplex semantics for deontic logic.Lou Goble - 2000 - Nordic Journal of Philosophical Logic 5 (2):113-134.
Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
Neighbourhood semantics and generalized Kripke models.Bernd Dahn - 1976 - Bulletin of the Section of Logic 5 (1):2-7.
Kripke Models, Distributive Lattices, and Medvedev Degrees.Sebastiaan A. Terwijn - 2007 - Studia Logica 85 (3):319-332.
A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Obligations and prohibitions in Talmudic deontic logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Deontic Logic and Natural Language.Fabrizio Cariani - forthcoming - In Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.), The Handbook of Deontic Logic (Vol. II). College Publications.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.

Analytics

Added to PP
2020-10-13

Downloads
16 (#830,801)

6 months
5 (#441,012)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giorgio Venturi
University of Campinas

Citations of this work

Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.

Add more citations

References found in this work

New foundations for Lewis modal systems.E. J. Lemmon - 1957 - Journal of Symbolic Logic 22 (2):176-186.
Reflexive-insensitive modal logics.David R. Gilbert & Giorgio Venturi - 2016 - Review of Symbolic Logic 9 (1):167-180.
A note on logics of essence and accident.David R. Gilbert & Giorgio Venturi - 2020 - Logic Journal of the IGPL 28 (5):881-891.
Being Wrong: Logics for False Belief.Christopher Steinsvold - 2011 - Notre Dame Journal of Formal Logic 52 (3):245-253.

View all 7 references / Add more references