Possibility pre-supposition free logics.

Roderic A. Girle

Published in: Notre Dame J. Formal Log. (1974)

Keyphrases

expressive power
modal logic
inference rules
conditional logic
data sets
artificial intelligence
social networks
e learning
multi agent
search algorithm
higher order
default reasoning
classical logic