Back to Results
First PageMeta Content
Formal languages / Model theory / Mathematical logic / Logic programming / Substitution / Symbol / Interpretation / Entailment / Function / Logic / Mathematics / Propositional calculus


Full and Relative Awareness: A Decidable Logic for Reasoning about Knowledge of Unawareness Thomas ˚ Agotnes Bergen University College
Add to Reading List

Document Date: 2009-09-20 10:29:34


Open Document

File Size: 166,16 KB

Share Result on Facebook

Company

Amazon / Cambridge University Press / MIT Press / IOS Press / Ki / /

Country

Norway / United Kingdom / /

/

Event

Product Issues / Product Recall / /

Facility

Agotnes Bergen University College / Natasha Alechina University of Nottingham UK nza@cs.nott.ac.uk / /

IndustryTerm

awareness operator / multi-agent systems / logical systems / knowledge operator / explicit knowledge operator / tableau algorithm / /

MarketIndex

NASDAQ 100 / /

Organization

Cambridge University / Natasha Alechina University / Artificial Intelligence / Oliver Board / MIT / Agotnes Bergen University College Norway / Research Council of Norway / /

Person

Moshe Y. Vardi / Leandro Chaves Rˆego / Silvia Coradeschi / Aldo Rustichini / Yoram Moses / Burkhard Schipper / Patrick Blackburn / Joseph Y. Halpern / Wiebe van der Hoek / Ronald Fagin / Salvatore Modica / Paolo Traverso / Kim-Sau Chung / Anna Perini / Martin Meier / Aviad Heifetz / Michael Wooldridge / Rij / /

Position

Cj MP / broker / MP / investment fund broker / General / /

Product

briefly / M-16 / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Theoretical Computer Science / Journal of Economic Theory / /

Technology

tableau algorithm / /

SocialTag