-based game represented in formal logic, automatically generates a computational model in the Primitive Information Processing … active brain areas, cannot be derived on the basis of a strategy logic by itself: the computational cognitive models play a …

logic is shown to be a ?destructive? and ?disrobing? act to reveal buried presuppositions. It is argued that a form of …

The more variables a logic expression contain, the more complicated is the interpretation of this expression. Since in … convert such a logic expression into a disjunctive normal form consisting of prime implicants. In this paper, we present two … algorithms based on matrix algebra for the identification of all prime implicants comprised in a logic expression and for the …

, we present a variant of the logic extended with dynamic operators of Dynamic Epistemic Logic (DEL). We show that it … orderings over strategy profiles), and show that every assumption is expressed by a corresponding logical axiom of our logic …