Showing math.LOShow all
3 papers · 1 filter
math.LO2022
Tableau systems for some Ivlev-like (quantified) modal logics
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work o…
math.LO2021
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible…
math.LO2018
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
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…