• Refine your search:
  • 
    Keyword:
    
    • Modale Logik (4)
    • Sprachlogik (4)
    • Aussagenlogik (2)
    • Formale Semantik (2)
    • Zeitlogik (2)
    • Zeitsemantik (2)
    • Diskurswelt (1)
    • Kongresse / Workshops (1)
    • Konnektor (1)
    • Logik (1)
    •   more
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 8 of 8 1 Moment-History Duality in Prior's Logics of Branching-Time Zanardo, Alberto In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 150 (2006) 3, 483-508 OLC Linguistik Show details 2 Ways of worlds : on possible worlds and related notions ; 1 Pedersen, Stig Andur (Hrsg.); Zanardo, Alberto; Cresswell, M. J.. - Dordrecht [u.a.] : Springer, 2006 BLLDB UB Frankfurt Linguistik Show details 3 The logic of time and modality Fine, Kit; Copeland, Brian Jack; Zanardo, Alberto. - Dordrecht [u.a.] : Kluwer, 2006 BLLDB UB Frankfurt Linguistik Show details 4 Topological aspects of branching-time semantics Sabbadin, Michela; Zanardo, Alberto In: Studia logica. - Dordrecht : Springer Science + Business Media 75 (2003) 3, 271-286 BLLDB Show details 5 Undivided and Indistinguishable Histories in Branching-Time Logics Zanardo, Alberto In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 7 (1998) 3, 297-316 OLC Linguistik Show details 6 A gabbay-rule free axiomatization of "T" x "W" validity Di Maio, Maria Concetta; Zanardo, Alberto In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 27 (1998) 5, 435-487 BLLDB Show details 7 A complete deductive-system for since-until branching-time logic Zanardo, Alberto In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 20 (1991) 2, 131-148 BLLDB Show details 8 A finite axiomatization of the set of strongly valid Ockhamist formulas Zanardo, Alberto In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 14 (1985) 4, 447-468 BLLDB Show details

Mobile view All Catalogues UB Frankfurt Linguistik 2 IDS Mannheim 0 OLC Linguistik 2 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 6 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 0 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0