vix.ing · top · new · best · stats · spec

Semântica relacional para a lógica proposicional do plausível

2016/03/22 by Boza, Tiago Augusto dos Santos, Feitosa, Hércules de Araujo
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO

paper · pdf · doi:10.48550/arxiv.1603.07606

in Portuguese

Abstract

This article aims to present a neighborhood semantic for a modal logic, namely, propositional logic of the plausible. As a subnormal character modal logic, not admits a Kripke semantics. However, the authors show that this neighborhood semantic, reach a relational semantics for propositional logic of the plausible.

Related