1 paper · 1 filter
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In 1988, Ivlev proposed four-valued non-deterministic semantics for modal logics in which the alethic T axiom holds good. Unfortunately, no completeness was proved. In previous wor…