<--- Back to Details
First PageDocument Content
Philosophical logic / Model theory / Non-classical logic / Dynamic logic / Epistemic modal logic / Kripke semantics / First-order logic / Hoare logic / Actor model / Logic / Mathematical logic / Modal logic
Date: 2010-11-17 11:26:53
Philosophical logic
Model theory
Non-classical logic
Dynamic logic
Epistemic modal logic
Kripke semantics
First-order logic
Hoare logic
Actor model
Logic
Mathematical logic
Modal logic

The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an

Add to Reading List

Source URL: homepages.cwi.nl

Download Document from Source Website

File Size: 598,17 KB

Share Document on Facebook

Similar Documents

Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

Some Non-Classical Methods in (Epistemic) Modal Logic and Games: A Proposal Can BAS ¸ KENT The Graduate Center of the City University of New York

DocID: 1tf5r - View Document

Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 333–357 http://www.cssp.cnrs.fr/eiss8  On apparently non-modal evidentials

Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 333–357 http://www.cssp.cnrs.fr/eiss8 On apparently non-modal evidentials

DocID: 1ra6b - View Document

Why Not Epistocracyg  live, d d e n I die, to die, while being the best I can beThis way of Me is k t : to live and die while practicing [527e4askountas] justice and virtue.

Why Not Epistocracyg live, d d e n I die, to die, while being the best I can beThis way of Me is k t : to live and die while practicing [527e4askountas] justice and virtue.

DocID: 1r9F8 - View Document

JAVANESE MODALS* Jozina Vander Klok McGill University Javanese modals reveal interesting behaviour with respect to morphology and, more significantly, with respect to how the modal space is represented. The goals of this

JAVANESE MODALS* Jozina Vander Klok McGill University Javanese modals reveal interesting behaviour with respect to morphology and, more significantly, with respect to how the modal space is represented. The goals of this

DocID: 1qHWq - View Document

An Opinionated Introduction to the Foundations of Bayesian Epistemology Kenny Easwaran September 7,

An Opinionated Introduction to the Foundations of Bayesian Epistemology Kenny Easwaran September 7,

DocID: 1pKgI - View Document