A Non-Standard Kripke Semantics for the Minimal Deontic Logic
DOI:
https://doi.org/10.12775/LLP.2020.016Keywords
modal logic, non-normal modal logic, seriality, non-contingencyAbstract
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.
References
Boolos, G., 1993, The Logic of Provability, Routledge, Cambridge University Press. DOI: http://dx.doi.org/10.1017/CBO9780511625183
Chellas, B.F., 1980, Modal Logic: An Introduction, Cambridge university press. DOI: http://dx.doi.org/10.1017/CBO9780511621192
Cresswell, M.J., 1988, “Necessity and contingency”, Studia Logica 47 (2): 145–149. DOI: http://dx.doi.org/10.1007/BF00370288
Fan, Jie, Yanjing Wang, and Hans Van Ditmarsch, 2015, “Contingency and knowing whether”, The Review of Symbolic Logic 8 (1): 75–107. DOI: http://dx.doi.org/10.1017/S1755020314000343
Gilbert, David R., and Giorgio Venturi, 2016, “Reflexive-insensitive modal logics”, The Review of Symbolic Logic 9 (1): 167–180. DOI: http://dx.doi.org/10.1017/S175502031500026X
Gilbert, David R., and Giorgio Venturi, 2017, “A neighborhood semantics for the logics of unknown truths and of false beliefs”, Australasian Journal of Logic 14 (1): 246–267. DOI: http://dx.doi.org/10.26686/ajl.v14i1.4033
Gilbert, D., and G. Venturi, 2018, “A note on logics of essence and accident”, Logic Journal of the IGPL, First online. DOI: http://dx.doi.org/10.1093/jigpal/jzy065
Humberstone, L., 1995, “The logic of non-contingency”, Notre Dame Journal of Formal Logic, 36 (2): 214–229. DOI: http://dx.doi.org/10.1305/ndjfl/1040248455
Lemmon, Edward John, 1957, “New foundations for Lewis modal systems”, The Journal of Symbolic Logic 22 (2): 176–186. DOI: http://dx.doi.org/10.2307/2964179
Montgomery, Hugh, and Richard Routley, 1966, “Contingency and non-contingency bases for normal modal logics”, Logique et Analyse 9 (35/36): 318–328.
Steinsvold, Christopher, 2011, “Being wrong: Logics for false belief”, Notre Dame Journal of Formal Logic 52 (3): 245–253. DOI: http://dx.doi.org/10.1215/00294527-1435438
Venturi, Giorgio, and Pedro Teixeira Yago, 2020, “Tableaux for essence and contingency”, Logic Journal of the IGPL, Published: 13 May 2020. DOI: http://dx.doi.org/10.1093/jigpal/jzaa016
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2020 Logic and Logical Philosophy
This work is licensed under a Creative Commons Attribution-NoDerivatives 4.0 International License.
Stats
Number of views and downloads: 968
Number of citations: 0
