6 citations · 12 across the 4 of their papers we have counts for
1 paper · 1 filter
Daniel Gorín, Lutz Schröder
While reasoning in a logic extending a complete Boolean basis is coNP-hard, restricting to conjunctive fragments of modal languages sometimes allows for tractable reasoning even in…