Login / Signup

Combining linear-time temporal logic with constructiveness and paraconsistency.

Norihiro KamideHeinrich Wansing
Published in: J. Appl. Log. (2010)
Keyphrases
  • linear time temporal logic
  • model checking
  • temporal logic
  • natural deduction
  • cut elimination