Program Logics Based on Algebras with the Composition of Predicate Complement.

Mykola Nikitchenko Oksana Shkilniak Stepan S. Shkilniak

Published in: ACIT (2019)

Keyphrases

expressive power
first order logic
modal logic
inference rules
computer programs
control program
database
learning algorithm
test cases
epistemic logic
program execution
clifford algebra