Sign in
A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic.
Willem Conradie
Riccardo Monego
Emilio Muñoz-Velasco
Guido Sciavicco
Ionel Eduard Stan
Published in:
TIME (2023)
Keyphrases
</>
temporal logic
model checking
modal logic
fuzzy sets
satisfiability problem
concurrent systems
temporal knowledge
description logics
computation tree logic
mazurkiewicz traces
model checker
linear temporal logic
fuzzy set theory
verification method
bounded model checking
artificial intelligence
search algorithm