On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.
Bernhard JoskoPublished in: STACS (1984)
Keyphrases
- highly expressive
- predicate logic
- dynamic logic
- proof theory
- formal language
- operational semantics
- language learning
- formal theory
- defeasible logic
- intuitionistic logic
- natural language
- modal logic
- logic programming
- computational linguistics
- predicate calculus
- description logics
- order sorted
- asynchronous circuits
- neural network
- conditional logic
- classical logic
- automated reasoning
- multi valued
- natural language processing
- logic programs
- lambda calculus
- linear temporal logic
- formal logic
- closed world
- deductive databases
- target language
- mathematical theory
- deontic logic
- modal operators
- logic programming language
- representation language
- computational properties
- model theoretic