Permissive Subsorted Partial Logic in CASL.
Maura CerioliAnne E. HaxthausenBernd Krieg-BrücknerTill MossakowskiPublished in: AMAST (1997)
Keyphrases
- modal logic
- multi valued
- computational properties
- automated reasoning
- logical framework
- sound and complete axiomatization
- linear temporal logic
- delay insensitive
- asynchronous circuits
- formal language
- nonmonotonic logics
- set theory
- machine learning
- probabilistic logic
- logic programming
- information systems
- genetic algorithm