Sem\^antica relacional para a l\'ogica proposicional do plaus\'ivel

TL;DR

This paper introduces a neighborhood semantic framework for a modal logic called propositional logic of the plausible, providing a relational semantics where traditional Kripke semantics are not applicable.

Contribution

It presents a novel neighborhood semantic approach for the propositional logic of the plausible, expanding the semantic tools for subnormal modal logics.

Findings

Neighborhood semantics successfully models the propositional logic of the plausible.

Relational semantics are derived from the neighborhood framework.

The approach extends semantic understanding beyond Kripke models.

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.