An algebraic model for the modal logic KD

, &
Cognitio 23 (1):59916-59916 (2022)
  Copy   BIBTEX

Abstract

Deontic logic is a branch of symbolic logic interested in notions such as obligatory, permissible, optional, ought, and others similar. There are some equivalent ways to present the Standard Deontic Logic or KD. In this paper, we will mention some of them and highlight one that is of interest. With this presentation we can propose a simple algebraic model for the Standard Deontic Logic.

Categories

Add categories

Keywords

Reprint years

DOI

10.23925/2316-5278.2022v23i1:e59916

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,038

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

An abstract algebraic logic approach to tetravalent modal logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
A generalisation of the concept of a relational model for modal logic.David Makinson - 1970 - Theoria 36 (3):331-335.
The contribution of A.V. Kuznetsov to the theory of modal systems and structures.Alexei Y. Muravitsky - 2008 - Logic and Logical Philosophy 17 (1-2):41-58.
An Algebraic Approach to Subframe Logics. Modal Case.Guram Bezhanishvili, Silvio Ghilardi & Mamuka Jibladze - 2011 - Notre Dame Journal of Formal Logic 52 (2):187-202.
A Note on Algebraic Semantics for $mathsf{S5}$ with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Modulated Logic, Modal Logic And Translations Between Logics.HÉrcules De Araujo Feitosa & Frank Sautter - 2006 - Manuscrito 29 (2):351-373.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
A Need for New Algebraic System of Logic Based on Al-Ghazali's Reasoning.Shahrir bin Mohamad Zain - 2016 - Kritike 10 (1):255-268.
Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47-70.
Logic TK: Algebraic Notions from Tarski’s Consequence Operator.Hércules A. Feitosa, Mauri C. Do Nascimento & Maria Claudia C. Grácio - 2010 - Principia: An International Journal of Epistemology 14 (1):47–70.
Around provability logic.Leo Esakia - 2010 - Annals of Pure and Applied Logic 161 (2):174-184.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
E. J. Lemmon. An extension algebra and the modal system T.Notre Dame Journal of formal logic, vol. 1 , pp. 3–12. - E. J. Lemmon. Algebraic semantics for modal logics.The journal of symbolic logic, vol. 31 , pp. 46–65; pp. 191–218. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (1):136-137.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
On modal logics between K × K × K and s5 × s5 × S.R. Hirsch, I. Hodkinson & A. Kurucz - 2002 - Journal of Symbolic Logic 67 (1):221-234.

Analytics

Added to PP
2023-01-05

Downloads
3 (#1,713,259)

6 months
2 (#1,201,619)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references