Permissive Subsorted Partial Logic in CASL.

Maura Cerioli Anne E. Haxthausen Bernd Krieg-Brückner Till Mossakowski

Published 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