59 citations · 185 across the 53 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.LO2010★ 19 cited
Generic Modal Cut Elimination Applied to Conditional Logics
Dirk Pattinson, Lutz Schröder
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the…
cs.LO2010★ 12 cited
Completeness of Flat Coalgebraic Fixpoint Logics
Lutz Schröder, Yde Venema
Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among t…
cs.LO2010
Named Models in Coalgebraic Hybrid Logic
Lutz Schroeder, Dirk Pattinson
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem…