An Approach To Formalization of an Extension of Floyd-Hoare Logic.
Artur KornilowiczAndrii KryvolapMykola S. NikitchenkoIevgen IvanovPublished in: ICTERI (2017)
Keyphrases
- logical framework
- formal logic
- linear time temporal logic
- predicate logic
- proof theoretic
- knowledge representation
- logic programming
- operational semantics
- classical logic
- multi valued
- search engine
- truth values
- automated reasoning
- probabilistic logic
- database
- formal model
- modal logic
- expressive power
- case study
- artificial intelligence
- neural network