The Logic of Counterpart Theory with Actuality.

Adam Rigoni Richmond H. Thomason

Published in: J. Philos. Log. (2014)

Keyphrases

formal theory
set theory
commonsense reasoning
theoretical framework
general theory
computer algebra
proof theory
databases
boolean algebra
theoretical basis
automated reasoning
mathematical theory
decision making
multi agent
logic programming
deductive reasoning