Logics for Two Fragments beyond the Syllogistic Boundary.

Lawrence S. Moss

Published in: Fields of Logic and Computation (2010)

Keyphrases

modal logic
expressive power
shape description
mental models
artificial intelligence
classical logic
propositional dynamic logic
database
information retrieval
databases
real time
multiscale
critical points
neural network
computational properties
nonmonotonic logics
boundary estimation