Controlled Model Exploration

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 205-220 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Controlled Model Exploration.Gabriel G. Infante-Lopez, Carlos Areces & Maarten de Rijke - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 205-220.
A new coalgebraic Lindström theorem.Sebastian Enqvist - 2016 - Journal of Logic and Computation 26 (5):1541-1566.
19th workshop on logic, language, information and computation (wollic 2012).Luke Ong, Carlos Areces, Santiago Figueira & Ruy de Queiroz - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Belief Revision From the Point of View of Doxastic Logic.Krister Segerberg - 1995 - Logic Journal of the IGPL 3 (4):535-553.

Analytics

Added to PP
2018-02-17

Downloads
20 (#1,055,588)

6 months
7 (#761,022)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references