![Mathematics / Epistemic modal logic / Common knowledge / Dynamic logic / Modal operator / Model theory / Axiom / Logic / Mathematical logic / Modal logic Mathematics / Epistemic modal logic / Common knowledge / Dynamic logic / Modal operator / Model theory / Axiom / Logic / Mathematical logic / Modal logic](https://www.pdfsearch.io/img/ac6e753042572d1b06c2462a13f17995.jpg)
| Document Date: 2010-11-17 11:24:18 Open Document File Size: 317,99 KBShare Result on Facebook
City Utrecht / / Country Netherlands / / / Facility University of Groningen / University of Amsterdam / Stanford University / / IndustryTerm logical systems / worth finding such systems / transition systems / stronger systems / logical operator / earlier systems / / Organization Department of Philosophy / Philosophy Department / University of Groningen / University of Amsterdam / Stanford University / / Person Carol / Jan van Eijck / Johan van Benthem / Bob / Alice / / Position update model for Alice / related update model of Alice / resulting model / / SportsLeague Stanford University / /
SocialTag |