• Refine your search:
  • 
    Keyword:
    
    • Zeitlogik (6)
    • Prior, Arthur N. (4)
    • Formale Semantik (2)
    • Kongresse / Workshops (2)
    • Kontext (Künstliche Intelligenz) (2)
    • Künstliche Intelligenz (2)
    • Modale Logik (2)
    • Natürlichsprachliche Systeme (2)
    • Possible-world semantics (2)
    • Temporale Logik (2)
    •   more
  • 
    Creator / Publisher:
    
    • Øhrstrøm, Peter (14)
    • Hasle, Per (5)
    • Sandborg-Petersen, Ulrik (3)
    • Braüner, Torben (2)
    • Copeland, Brian Jack (2)
    • Hasle, Per F. V. (2)
    • Andersen, Peter Bøgh (1)
    • Angelova, Galia (1)
    • Blackburn, Patrick (1)
    • Boytcheva, Svetla (1)
    •   more
  • 
    Year:
    
    • 2012 (5)
    • 2011 (1)
    • 2006 (1)
    • 2003 (1)
    • 2002 (1)
    • 1995 (3)
    • 1994 (1)
    • 1992 (1)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (14)
    • subject to license (0)

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 – 14 of 14 1 Branching time, indeterminism and tense logic : unveiling the Prior-Kripke letters Ploug, Thomas; Øhrstrøm, Peter In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 367-379 BLLDB OLC Linguistik Show details 2 Time and knowledge : some reflections on Prior's analysis of the paradox of the prisoner Gram-Hansen, Lasse Burri; Sandborg-Petersen, Ulrik; Øhrstrøm, Peter In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 417-422 BLLDB OLC Linguistik Show details 3 From a logical angle : some studies in A. N. Prior's ideas on time, discourse and metaphysics Øhrstrøm, Peter; Hasle, Per In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 325-330 BLLDB OLC Linguistik Show details 4 Prior's defence of Hintikka's theorem: a discussion of Prior's "The logic of obligation and the obligations of the logician" Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Zeller, Jörg In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 449-454 BLLDB OLC Linguistik Show details 5 Preface Øhrstrøm, Peter; Hasle, Per F. V.; Sandborg-Petersen, Ulrik In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 188 (2012) 3, 323-324 OLC Linguistik Show details 6 Peircean diagrams of time Øhrstrøm, Peter In: Semiotica. - Berlin ; Boston : De Gruyter Mouton 186 (2011) 1-4, 259-274 BLLDB OLC Linguistik Show details 7 The logic of time and modality Fine, Kit; Copeland, Brian Jack; Zanardo, Alberto. - Dordrecht [u.a.] : Kluwer, 2006 BLLDB UB Frankfurt Linguistik Show details 8 Papers on time and tense Copeland, Brian Jack (Hrsg.); Hasle, Per (Hrsg.); Øhrstrøm, Peter (Hrsg.). - Oxford [u.a.] : Oxford Univ. Press, 2003 BLLDB UB Frankfurt Linguistik Show details 9 Conceptual structures : integration and interfaces ; proceedings Schärfe, Henrik (Mitarb.); Dobrev, Pavlin (Mitarb.); Pollandt, Silke (Mitarb.). - Berlin [u.a.] : Springer, 2002 BLLDB UB Frankfurt Linguistik Show details 10 Temporal logic : from ancient ideas to artificial intelligence Øhrstrøm, Peter; Hasle, Per F.V.. - Dordrecht [etc.] : Kluwer, 1995 MPI für Psycholinguistik Show details 11 Temporal logic : from ancient ideas to artificial intelligence Øhrstrøm, Peter; Hasle, Per. - Dordrecht [u.a.] : Reidel, 1995 BLLDB UB Frankfurt Linguistik Show details 12 Temporal logic : from ancient ideas to artificial intelligence Øhrstrøm, Peter; Hasle, Per F. V.. - Dordrecht [u.a.] : Kluwer, 1995 IDS Mannheim Show details 13 Hyperzeit Andersen, Peter Bøgh; Øhrstrøm, Peter In: Zeitschrift für Semiotik. - Tübingen : Stauffenburg 16 (1994) 1-2, 51-68 OLC Linguistik Show details 14 Counterfactuals and branching time in automated text understanding Hasle, Per; Øhrstrøm, Peter In: Computational approaches to text understanding. - Copenhagen : Museum Tusculanum Press (1992), 13-27 BLLDB Show details

Mobile view All Catalogues UB Frankfurt Linguistik 4 IDS Mannheim 1 OLC Linguistik 7 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 10 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 1 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