Advanced search
Start date
Betweenand
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Full text
Author(s):
Bezerra, E. [1] ; Venturi, G. [1]
Total Authors: 2
Affiliation:
[1] Univ Estadual Campinas, UNICAMP, Barao Geraldo, SP - Brazil
Total Affiliations: 1
Document type: Journal article
Source: LOGIC AND LOGICAL PHILOSOPHY; v. 30, n. 1, p. 125-135, MAR 2021.
Web of Science Citations: 0
Abstract

In this paper we study a new operator of strong modality., related to the non-contingency operator Delta. We then provide soundness and completeness theorems for the minimal logic of the boxed plus-operator. (AU)

FAPESP's process: 16/25891-3 - Arbitrariness and genericity: or on how to speak of the unspeakable
Grantee:Giorgio Venturi
Support Opportunities: Research Grants - Young Investigators Grants