4 citations · 8 across the 2 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 4 cited
Revisiting Epistemic Logic with Names
Marta Bílková, Zoé Christoff, Olivier Roy
This paper revisits the multi-agent epistemic logic presented in [10], where agents and sets of agents are replaced by abstract, intensional "names". We make three contributions. F…
math.LO2021
Constraint tableaux for two-dimensional fuzzy logics
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
We introduce two-dimensional logics based on Łukasiewicz and Gödel logics to formalize paraconsistent fuzzy reasoning. The logics are interpreted on matrices, where the common unde…