11 citations · 11 across the 1 of their papers we have counts for
1 paper
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…