Barwise: infinitary logic and admissible sets.

H. Jerome Keisler Julia F. Knight

Published in: Bull. Symb. Log. (2004)

Keyphrases

information flow
modal logic
truth values
databases
learning algorithm
state space
logic programming
horn clauses
predicate logic
asynchronous circuits
machine learning
decision making
epistemic logic