Incompleteness of Behavioral Logics.

Samuel R. Buss Grigore Rosu

Published in: CMCS (2000)

Keyphrases

expressive power
inference rules
incomplete information
modal logic
classical logic
real time
proof theory
case study
multi agent
epistemic logic
missing values
behavioral model
decision procedures
computational properties
human behavior
artificial neural networks
search algorithm
neural network