DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 24

1
Logica Ludicra: aspekty teoretiko-igrovoj semantiki i pragmatiki
BLLDB
UB Frankfurt Linguistik
Show details
2
Between proof and truth
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 3, 821-832 + Erratum, S. 973-974
BLLDB
OLC Linguistik
Show details
3
The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 3, 925-942
BLLDB
OLC Linguistik
Show details
4
Introduction: the philosophy of logical consequence and inference
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 3, 817-820
BLLDB
OLC Linguistik
Show details
5
The epistemic significance of valid inference
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 187 (2012) 3, 887-898
BLLDB
OLC Linguistik
Show details
6
"Moving pictures of thought", 2, Graphs, games, and pragmaticism's proofs
In: Semiotica. - Berlin ; Boston : De Gruyter Mouton 186 (2011) 1-4, 315-331
BLLDB
OLC Linguistik
Show details
7
Guarded quantification in Least Fixed Point logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 13 (2004) 1, 61-110
BLLDB
Show details
8
Peirce's game-theoretic ideas in logic
In: Semiotica. - Berlin ; Boston : De Gruyter Mouton 144 (2003) 1-4, 33-47
BLLDB
Show details
9
Negation in logic and in natural language
In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 25 (2002) 5-6, 585-600
BLLDB
Show details
10
The dynamic turn in twentieth century logic
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 130 (2002) 2, 175-184
BLLDB
Show details
11
Games and full abstraction for a functional metalanguage with recursive types
McCusker, Guy. - London [u.a.] : Springer, 1998
BLLDB
UB Frankfurt Linguistik
Show details
12
Semantics and logics of computation
Pitts, Andrew M. (Hrsg.); Hyland, Martin (Mitarb.); Hofmann, Martin (Mitarb.). - Cambridge : Cambridge Univ. Press, 1997
BLLDB
UB Frankfurt Linguistik
Show details
13
Jeux dans le langage : = Spiel in der Sprache
In: Handbücher zur Sprach- und Kommunikationswissenschaft. 7, Sprachphilosophie ; Halbbd. 2. - Berlin [u.a.] : de Gruyter (1996), 1371-1391
BLLDB
Show details
14
Game theoretical semantics
Blinov, Arcady (Mitarb.); Harris, Stephen (Mitarb.); Sandu, Gabriel (Mitarb.)...
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 99 (1994) 3, 311-456
BLLDB
Show details
15
Situations, games, and ambiguity
In: Situation theory and its applications. Vol. 1. - Stanford, Calif. : Center for the Study of Language and Information (1990), 449-469
BLLDB
Show details
16
Philosophy
Kuhn, Thomas S. (Mitarb.); Miller, Arthur I. (Mitarb.); Frängsmyr, Tore (Mitarb.)...
In: Possible worlds in humanities, arts and sciences. - Berlin [u.a.] : de Gruyter (1989), 9-89
BLLDB
Show details
17
Linguistics
Partee, Barbara H. (Mitarb.); Perry, John (Mitarb.); Rieser, Hannes (Mitarb.)...
In: Possible worlds in humanities, arts and sciences. - Berlin [u.a.] : de Gruyter (1989), 93-218
BLLDB
Show details
18
Logic as language
Hintikka, Jaakko (Mitarb.); Cocchiarella, Nino B. (Mitarb.); Haaparanta, Leila (Mitarb.)...
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 77 (1988) 1, 1-127
BLLDB
Show details
19
Knowledge-seeking by questioning (part I)
Hintikka, Jaakko (Hrsg.); Meyer, Michel (Mitarb.); Kleiner, Scott A. (Mitarb.)...
In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 74 (1988) 1, 5-140
BLLDB
Show details
20
How game-theoretical semantics works : classical first-order logic
In: Erkenntnis. - Dordrecht [u.a.] : Springer 29 (1988) 1, 77-93
BLLDB
Show details

Page: 1 2

Catalogues
4
0
5
0
0
0
0
Bibliographies
24
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
0
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern