Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
Many-Valued Modal Logic
Amir Karniel, Michael Kaminski
We combine the concepts of modal logics and many-valued logics in a general and comprehensive way. Namely, given any finite linearly ordered set of truth values and any set of prop…
cs.LO2021
A note on calculi for non-deterministic many-valued logics
Michael Kaminski
We present two deductively equivalent calculi for non-deterministic many-valued logics. One is defined by axioms and the other - by rules of inference. The two calculi are obtained…