Back to Results
First PageMeta Content
Model theory / Functions and mappings / First-order logic / Predicate logic / Golden ratio / Function / Substitution / Linear temporal logic / Gödel–Gentzen negative translation / Logic / Mathematics / Mathematical logic


A Logic for Reasoning about Knowledge of Unawareness∗ ˚ Thomas Agotnes and Natasha Alechina
Add to Reading List

Document Date: 2014-09-26 15:36:52

Open Document

File Size: 178,12 KB

Share Result on Facebook
UPDATE