• Refine your search:
  • 
    Keyword:
    
    • Modale Logik (14)
    • Sprachlogik (11)
    • Formale Semantik (3)
    • Intuitionistische Logik (3)
    • Prädikatenlogik (3)
    • Automatentheorie (2)
    • Computerlinguistik (2)
    • Deduktion (2)
    • Dynamische Logik (2)
    • Reasoning (2)
    •   more
  • 
    Creator / Publisher:
    
    • Benthem, Johan van (14)
    • Andréka, Hajnal (2)
    • Visser, Albert (2)
    • Westerståhl, Dag (2)
    • Aiello, Marco (1)
    • Aloni, Maria (1)
    • Barker-Plummer, Dave (1)
    • Beaver, David I. (1)
    • Bergstra, J.A. (1)
    • Bezhanishvili, Guram (1)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Print (14)
  • 
    Type:
    
    • Article (9)
    • Book (5)
  • 
    BLLDB-Access:
    • free (14)
    • subject to license (2)

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 Modal logic for open minds Benthem, Johan van. - Stanford, Calif. : CSLI Publ., Centre for the Study of Language and Information, 2010 BLLDB UB Frankfurt Linguistik Show details 2 Everything else being equal: a modal logic for "ceteris paribus" preferences Benthem, Johan van; Girard, Patrick; Roy, Olivier In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 38 (2009) 1, 83-125 BLLDB Show details 3 Multimodal logics of products of topologies Benthem, Johan van; Bezhanishvili, Guram; Ten Cate, Bram... In: Studia logica. - Dordrecht : Springer Science + Business Media 84 (2006) 3, 369-392 BLLDB Show details 4 Categorial grammar at a cross-roads Benthem, Johan van In: Resource-sensitivity, binding and anaphora. - Dordrecht [u.a.] : Kluwer (2003), 3-21 BLLDB Show details 5 Words, proofs, and diagrams Tiede, Hans-Joerg (Mitarb.); Lemon, Oliver (Mitarb.); Koller, Alexander (Mitarb.). - Stanford, Calif. : Univ., Center for the Study of Language and Information, 2002 BLLDB UB Frankfurt Linguistik Show details 6 Program constructions that are safe for bisimulation Benthem, Johan van In: Studia logica. - Dordrecht : Springer Science + Business Media 60 (1998) 2, 311-330 BLLDB Show details 7 Modal deduction in second-order logic and set theory - II Benthem, Johan van; D'Agostino, Giovanna; Montanari, Angelo... In: Studia logica. - Dordrecht : Springer Science + Business Media 60 (1998) 3, 387-420 BLLDB Show details 8 Dynamics Muskens, Reinhard; Benthem, Johan van; Visser, Albert In: Handbook of logic and language. - Amsterdam [u.a.] : Elsevier [u.a.] (1997), 587-648 BLLDB Show details 9 Modal languages and bounded fragments of predicate logic Andréka, Hajnal; Benthem, Johan van; Németi, István. - Amsterdam : Inst. for Logic, Language and Computation, 1996 BLLDB UB Frankfurt Linguistik Show details 10 Modal logic and process algebra : a bisimulation perspective Jongh, Dick de (Mitarb.); Hodkinson, Ian (Mitarb.); Goldblatt, Robert (Mitarb.). - Stanford, Calif. : Center for the Study of Language and Information, 1995 BLLDB UB Frankfurt Linguistik Show details 11 Directions in generalized quantifier theory Benthem, Johan van; Westerståhl, Dag In: Studia logica. - Dordrecht : Springer Science + Business Media 55 (1995) 3, 389-419 BLLDB Show details 12 Modal logic and classical logic Benthem, Johan van. - Napoli : Bibliopolis, 1985 BLLDB UB Frankfurt Linguistik Show details 13 Possible worlds semantics : a research program that cannot fail? Benthem, Johan van In: Studia logica. - Dordrecht : Springer Science + Business Media 43 (1984) 4, 379-393 BLLDB Show details 14 D. M. Gabbay, Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics, Synthese Library, vol. 92, D. Reidel Publishing Company, Dordrecht, 1976, 306 pp Benthem, Johan van In: Synthese. - Dordrecht [u.a.] : Springer Science+Business Media 40 (1979) 2, 353-373 BLLDB Show details

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