Unrealizability Logic.
Jinwoo KimLoris D'AntoniThomas W. RepsPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- modal logic
- computational properties
- classical logic
- predicate logic
- logic programming
- sound and complete axiomatization
- proof theory
- data sets
- multi valued
- automated reasoning
- intuitionistic logic
- deductive reasoning
- temporal logic
- evolutionary algorithm
- artificial neural networks
- image sequences
- neural network
- databases