4 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 1 cited
Routley Star in Information-Based Semantics
Vít Punčochář, Igor Sedlár
It is common in various non-classical logics, especially in relevant logics, to characterize negation semantically via the operation known as Routley star. This operation works wel…
cs.LO2020★ 4 cited
Finitely-valued propositional dynamic logic
Igor Sedlár
We study a many-valued generalization of Propositional Dynamic Logic where formulas in states and accessibility relations between states of a Kripke model are evaluated in a finite…