Sem\^antica relacional para a l\'ogica proposicional do plaus\'ivel
Logic
2016-03-25 v1
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.
Keywords
Cite
@article{arxiv.1603.07606,
title = {Sem\^antica relacional para a l\'ogica proposicional do plaus\'ivel},
author = {Tiago Augusto dos Santos Boza and Hércules de Araujo Feitosa},
journal= {arXiv preprint arXiv:1603.07606},
year = {2016}
}
Comments
in Portuguese