Login / Signup

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum.

Ulrich DorschStefan MiliusLutz Schröder
Published in: CONCUR (2019)
Keyphrases
  • machine learning
  • case study
  • model checking
  • epistemic logic
  • database
  • modal logic
  • data mining
  • worst case
  • expressive power
  • qualitative and quantitative
  • temporal reasoning
  • alternating time temporal logic