Busca avançada
Ano de início
Entree
Conteúdo relacionado
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

A Non-Standard Kripke Semantics for the Minimal Deontic Logic

Texto completo
Autor(es):
Bezerra, E. [1] ; Venturi, G. [1]
Número total de Autores: 2
Afiliação do(s) autor(es):
[1] Univ Estadual Campinas, UNICAMP, Barao Geraldo, SP - Brazil
Número total de Afiliações: 1
Tipo de documento: Artigo Científico
Fonte: LOGIC AND LOGICAL PHILOSOPHY; v. 30, n. 1, p. 125-135, MAR 2021.
Citações Web of Science: 0
Resumo

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)

Processo FAPESP: 16/25891-3 - Arbitrariedade e genericidade: ou sobre como falar do indizível
Beneficiário:Giorgio Venturi
Modalidade de apoio: Auxílio à Pesquisa - Jovens Pesquisadores