LNCSThe Ackermann Award 2006

First Page		Document Content
Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic		LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Download Document from Source Website File Size: 86,76 KB Share Document on Facebook

	THE CALKIN ALGEBRA IS NOT COUNTABLY HOMOGENEOUS ILIJAS FARAH AND ILAN HIRSHBERG Abstract. We show that the Calkin algebra is not countably homogeneous, in the sense of continuous model theory. We furthermore show that th DocID: 1vnHK - View Document
	A PRESENTATION THEOREM FOR CONTINUOUS LOGIC AND METRIC ABSTRACT ELEMENTARY CLASSES WILL BONEY Abstract. In recent years, model theory has widened its scope to include metric structures by considering real-valued models w DocID: 1vfxm - View Document
	A model-based theory of omissive causation Paul F. Bello and Sangeet S. Khemlani {paul.bello, sangeet.khemlani}@nrl.navy.mil U.S. Naval Research Laboratory Washington, DCUSA Abstract DocID: 1v2yt - View Document
	Theory of mind in the Mod game: An agent-based model of strategic reasoning Harmen de Weerd, Rineke Verbrugge, Bart Verheij Institute of Artificial Intelligence, University of Groningen Abstract. When people engage in s DocID: 1uXF0 - View Document
	How well can HMM model load signals Lukas Mauch, Karim Said Barsim and Bin Yang {lukas.mauch,karim.barsim,bin.yang}@iss.uni-stuttgart.de Institute of Signal Processing and System Theory, University of Stuttgart Abstract DocID: 1uQkP - View Document