Applications of weak Kripke semantics to intermediate consequences.
Wolfgang RautenbergPublished in: Stud Logica (1986)
Keyphrases
- formal semantics
- desirable properties
- modal logic
- model checking
- logic programming
- kripke models
- conceptual model
- temporal logic
- specification language
- real time
- semantic information
- database
- artificial intelligence
- inference rules
- neural network
- owl ontologies
- operational semantics
- nonmonotonic logics
- programming language
- multi agent
- bayesian networks
- learning algorithm
- default theories
- logical language
- weak signal