11 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Igor Sedlár
We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth va…