On truth-schemes for intensional logics.

Janusz Czelakowski Wieslaw Dziobiak

Published in: Reports Math. Log. (2006)

Keyphrases

truth values
expressive power
modal logic
higher order
valued logic
search algorithm
pairwise
nonmonotonic logics
propositional dynamic logic
artificial intelligence
natural language
artificial neural networks
object oriented
inference rules