H. A. Feitosa, M. Soares, Cristiane Alexandra Lázaro
{"title":"模态逻辑KD的代数模型","authors":"H. A. Feitosa, M. Soares, Cristiane Alexandra Lázaro","doi":"10.23925/2316-5278.2022v23i1:e59916","DOIUrl":null,"url":null,"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.","PeriodicalId":206101,"journal":{"name":"Cognitio: Revista de Filosofia","volume":"94 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An algebraic model for the modal logic KD\",\"authors\":\"H. A. Feitosa, M. Soares, Cristiane Alexandra Lázaro\",\"doi\":\"10.23925/2316-5278.2022v23i1:e59916\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":206101,\"journal\":{\"name\":\"Cognitio: Revista de Filosofia\",\"volume\":\"94 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-11-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Cognitio: Revista de Filosofia\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23925/2316-5278.2022v23i1:e59916\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Cognitio: Revista de Filosofia","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23925/2316-5278.2022v23i1:e59916","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.