Axiomatization and Decidability of Tense Information Logic.

Timo Niek Franssen, Sren Brinck Knudstorp

Browse the full WoLLIC paper archive.