Decidability and Complexity of Some Finitely-valued Dynamic Logics.

Igor Sedlr

Browse the full KR paper archive.