While logical theories of information attitudes, such as knowledge, certainty and belief, have flourished in the past two decades, formalization of other facets of rational behavior have lagged behind ...

According to Cantor (Mathematische Annalen 21:545—586, 1883; Cantor's letter to Dedekind, 1899) a set is any multitude which can be thought of as one ("jedes Viele, welches sich als Eines denken läßt" ...

Logical Systems and Model Theory constitute a foundational area bridging mathematics, computer science and philosophy through the formalisation of reasoning. By abstracting the essential components of ...