Login / Signup

Constructive linear-time temporal logic: Proof systems and Kripke semantics.

Kensuke KojimaAtsushi Igarashi
Published in: Inf. Comput. (2011)
Keyphrases
  • distributed systems
  • inference rules
  • sequent calculus
  • artificial intelligence
  • expert systems
  • knowledge representation
  • model checking
  • temporal logic
  • control flow
  • natural deduction
  • linear time temporal logic