Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics

Dr. C. Benzmüller – 2011

Titel
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logics
Verfasser
Dr. C. Benzmüller
Datum
2011
Kennung
ISSN: 1012-2443, doi: 10.1007/s10472-011-9249-7
Quelle/n
Erschienen in
Annals of Mathematics and Artificial Intelligence (Special Issue Computational Logics in Multiagent Systems (CLIMA XI) 62(1-2)
Sprache
eng
Art
Text
Größe oder Länge
103-128