First Steps in Synthetic Guarded Domain Theory

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

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

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

Through your library

My notes

Similar books and articles

Guarded actions.Jan van Eijck - unknown
Synthetic domain theory and models of linear Abadi & Plotkin logic.Rasmus Ejlers Møgelberg, Lars Birkedal & Giuseppe Rosolini - 2008 - Annals of Pure and Applied Logic 155 (2):115-133.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.
The Frontier of Synthetic Knowledge: Toward a Constructivist Science.Luisa Damiano & Lola Cañamero - 2012 - World Futures 68 (3):171 - 177.
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
"russian Intrusion Into The Guarded Domain": Reflections Of A Qajar Statesman On European Expansion.Abbas Amanat - 1993 - Journal of the American Oriental Society 113 (1):35-56.
Guarded fragments with constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic, Language and Information 14 (3):281-288.
Notas sobre a efetividade da doutrina kantiana do direito.Fábio César Scherer - 2010 - Cadernos de Ética E Filosofia Política 17:172-187.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Varieties of noise: Analogical reasoning in synthetic biology.Tarja Knuuttila & Andrea Loettgers - 2014 - Studies in History and Philosophy of Science Part A 48:76-88.
A note on satisfaction, truth and the empty domain.Timothy Williamson - unknown
A note on truth, satisfaction and the empty domain.Timothy Williamson - 1999 - Analysis 59 (1):3–8.
Wayne Martin on judgment. [REVIEW]Hans Sluga - 2008 - Philosophical Studies 137 (1):109 - 119.

Analytics

Added to PP
2018-02-17

Downloads
3 (#1,705,473)

6 months
1 (#1,472,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references