Back to Results
First PageMeta Content
Model theory / Deduction / Modal logic / Metalogic / Entailment / Interpretation / Kripke semantics / Epistemic modal logic / Soundness / Logic / Mathematical logic / Philosophical logic


Future event logic - axioms and complexity Hans van Ditmarsch Logic, University of Sevilla, Spain Tim French Computer Science and Software Engineering, The University of Western Australia
Add to Reading List

Document Date: 2011-03-25 01:18:06


Open Document

File Size: 192,57 KB

Share Result on Facebook

City

Hempstead / Pisa / Sydney / /

Company

MIT Press / /

Country

Netherlands / Italy / United Kingdom / Spain / /

Currency

pence / /

/

Facility

University of Western Australia / University of Amsterdam / Utrecht University / College Publications / University of Sevilla / The University / Synthese Library / /

IndustryTerm

social software / multi-agent systems / mutual exclusion protocol / Proof systems / /

Organization

University of Sevilla / University of Amsterdam / MIT / Department of Philosophy / Artificial Intelligence for Engineering Design / Analysis and Manufacturing / Utrecht University / Stanford / University of Western Australia / /

Person

Carroll Morgan / David Harel / Sophie Pinchinat / Alessandra Palmigiano / Dexter Kozen / Tim French / Duplicator / Marta Bilkova / Yde Venema / Jerzy Tiuryn / Nt / Nu / Robert Goldblatt / /

Position

Vp / editor / model / Init Player / MP / rule MP / player / rules MP / Controller / /

ProvinceOrState

Western Australia / /

PublishedMedium

Journal of the ACM / /

Region

North Holland / Western Australia / /

Technology

artificial intelligence / mutual exclusion protocol / simulation / /

SocialTag