DE eng

Search in the Catalogues and Directories

Hits 1 – 7 of 7

1
Fibring argumentation frames
In: Studia logica. - Dordrecht : Springer Science + Business Media 93 (2009) 2-3, 231-295
BLLDB
Show details
2
Trees in linguistics, logic and computer science
Gabbay, Dov M. (Hrsg.); Goranko, Valentin (Hrsg.); Le Nir, Yannick (Mitarb.)...
In: Research on language and computation. - London : King's College 1 (2003) 3-4, 179-336
BLLDB
Show details
3
Naming worlds in modal and temporal logic
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 11 (2002) 1, 29-65
BLLDB
Show details
4
Many-dimensional logical systems
Kurucz, A. (Hrsg.); Wolter, Frank (Hrsg.); Zacharjaščev, Michail V. (Hrsg.)...
In: Studia logica. - Dordrecht : Springer Science + Business Media 72 (2002) 2, 147-309
BLLDB
Show details
5
Temporal logic and quantifier translations
In: How we say when it happens. - Tübigen : Niemeyer (2002), 233-279
BLLDB
Show details
6
Preservation of expressive completeness in temporal models
In: Information and computation. - Amsterdam : Elsevier 72 (1987) 1, 66-83
BLLDB
Show details
7
Do we really need tenses other than future and past?
In: Semantics from different points of view. - Berlin [u.a.] : Springer (1979), 15-20
BLLDB
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
7
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