Gödel logics and the fully boxed fragment of LTL.

Matthias Baaz Norbert Preining

Published in: LPAR (2017)

Keyphrases

model checking
modal logic
linear temporal logic
temporal logic
expressive power
inference rules
valued logic
neural network
default logic
classical logic
genetic algorithm
logic programs
logic programming
technological innovation
proof theory