A Coalgebraic Approach to Linear-Time Logics.

Corina Cîrstea

Published in: FoSSaCS (2014)

Keyphrases

expressive power
modal logic
inference rules
epistemic logic
worst case
propositional calculus
real world
case study
multiscale
classical logic
computational properties
conditional logic
valued logic
proof procedures
propositional dynamic logic