On the Undecidability of some Sub-Classical First-Order Logics.

Matthias Baaz Agata Ciabattoni Christian G. Fermüller Helmut Veith

Published in: FSTTCS (1999)

Keyphrases

classical first order logic
first order logic
valued logic
logic programming
conditional logic
expressive power
description logics
dynamic logic
modal logic
answering queries
horn logic
nonmonotonic logics
neural network
fuzzy sets
expert systems
stochastic dominance
artificial intelligence