Relations of Logical Consequence in Program-oriented Logics of Quasiary Predicates.

Oksana Shkilniak

Published in: ACIT (2020)

Keyphrases

expressive power
user defined
modal logic
semantic relations
artificial intelligence
constraint satisfaction problems
inference rules
computer programs
temporal relations
monotonicity constraints
test cases
classical logic
logical formulas