Coalgerbraic Lindströom Theorems

&
In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309 (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,322

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

Coalgerbraic Lindströom Theorems.Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 292-309.
Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
Jury Theorems.Franz Dietrich & Kai Spiekermann - 2019 - In M. Fricker, N. J. L. L. Pedersen, D. Henderson & P. J. Graham (eds.), Routledge Handbook of Social Epistemology. Routledge.
Completeness theorems, representation theorems: what's the difference?David C. Makinson - unknown - Hommage À Wlodek: Philosophical Papers Dedicated to Wlodek Rabinowicz, Ed. Rønnow-Rasmussen Et Al. 2007.
How Gruesome are the No-free-lunch Theorems for Machine Learning?Davor Lauc - 2018 - Croatian Journal of Philosophy 18 (3):479-485.
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.
Charting the labyrinth of Bell-type theorems.Tomasz Placek - 1997 - Logic and Logical Philosophy 5:93-120.
Some dichotomy theorems for isomorphism relations of countable models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Normalization and Cut-Elimination in First-Order Logic.Anthony Michael Ungar - 1986 - Dissertation, Stanford University
Three theorems of Godel.Andrew Boucher - manuscript
Some Dichotomy Theorems for Isomorphism Relations of Countable Models.Su Gao - 2001 - Journal of Symbolic Logic 66 (2):902-922.
Weak cardinality theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861-878.
Weak Cardinality Theorems.Till Tantau - 2005 - Journal of Symbolic Logic 70 (3):861 - 878.
Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
Representation theorems and the foundations of decision theory.Christopher J. G. Meacham & Jonathan Weisberg - 2011 - Australasian Journal of Philosophy 89 (4):641 - 663.

Analytics

Added to PP
2020-02-06

Downloads
6 (#1,425,536)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yde Venema
University of Amsterdam

Citations of this work

Add more citations

References found in this work

No references found.

Add more references