• Refine your search:
  • 
    Keyword:
    
    • Dynamische Logik (64)
    • Epistemische Logik (25)
    • Formale Semantik (21)
    • Modale Logik (21)
    • Dynamische Semantik (18)
    • Sprachlogik (15)
    • Diskursrepräsentationstheorie (13)
    • Zeitlogik (10)
    • Kongresse / Workshops (9)
    • Quantor (9)
    •   more
  • 
    Creator / Publisher:
    
    • Benthem, Johan van (14)
    • Gerbrandy, Jelle (4)
    • Institut de recherche en informatique de Toulouse (IRIT) (4)
    • The Pennsylvania State University CiteSeerX Archives (4)
    • Université Fédérale Toulouse Midi-Pyrénées (4)
    • Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP) (4)
    • Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3) (4)
    • Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1) (4)
    • Université Toulouse 1 Capitole (UT1) (4)
    • Curiel Diaz, Arturo Tlacaélel (3)
    •   more
  • 
    Year
  • 
    Medium:
    
    • Print (82)
    • Online (15)
  • 
    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 Page: 1 2 3 4 5 Hits 1 – 20 of 97 1 Determiners and dynamic generalised quantifiers ; Déterminants et quantificateurs généralisés dynamiques Beysson, Clement In: TALN 2017 - Traitement Automatique des Langues Naturelles ; https://hal.archives-ouvertes.fr/hal-01651749 ; TALN 2017 - Traitement Automatique des Langues Naturelles, Jun 2017, Orléans, France. pp.81-93 (2017) BASE Show details 2 Reliability in pragmatics McCready, Eric. - Oxford : Oxford University Press, 2015 BLLDB UB Frankfurt Linguistik Show details 3 Using formal logic to represent sign language phonetics in semi-automatic annotation tasks Curiel Diaz, Arturo Tlacaélel. - : HAL CCSD, 2015 In: https://tel.archives-ouvertes.fr/tel-01334041 ; Document and Text Processing. Université Paul Sabatier - Toulouse III, 2015. English. ⟨NNT : 2015TOU30308⟩ (2015) BASE Show details 4 Dinamičeskaja lingvistika : meždu kodom i diskursom Kiklevič, Aleksandr Konstantinovič. - Charʹkov : Gumanitarnyj Centr, 2014 BLLDB UB Frankfurt Linguistik Show details 5 Pristine perspectives on logic, language and computation : student sessions ; selected papers Colinet, Margot (Hrsg.); Katrenko, Sophia (Hrsg.); Rendsvig, Rasmus K. (Hrsg.). - Heidelberg [u.a.] : Springer, 2014 BLLDB UB Frankfurt Linguistik Show details 6 Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic Curiel Diaz, Arturo Tlacaélel; Collet, Christophe In: Workshop Proceedings - 6th Workshop on the Representation and Processing of Sign Languages: Beyond the Manual Channel ; The 9th edition of the Language Resources and Evaluation Conference - LREC 2014 ; https://hal.archives-ouvertes.fr/hal-01135588 ; The 9th edition of the Language Resources and Evaluation Conference - LREC 2014, May 2014, Reykjavik, Iceland. pp. 29-36 (2014) BASE Show details 7 Belief merging in Dynamic Logic of Propositional Assignments Herzig, Andreas; Pozos Parra, Pilar; Schwarzentruber, François In: International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014 ; https://hal.archives-ouvertes.fr/hal-01146747 ; International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398 (2014) BASE Show details 8 Medieval "Disputationes de obligationibus" as formal dialogue systems Uckelman, Sara L. In: Argumentation. - Heidelberg [u.a.] : Springer Science+Business Media 27 (2013) 2, 143-166 BLLDB OLC Linguistik Show details 9 Sign language lexical recognition with Propositional Dynamic Logic Curiel Diaz, Arturo Tlacaélel; Collet, Christophe In: Proceedings of the 51st Annual Meeting of the Association for Computational Linguistics conference ; 51st Annual Meeting of the Association for Computational Linguistics (ACL) ; https://hal.archives-ouvertes.fr/hal-01193094 ; 51st Annual Meeting of the Association for Computational Linguistics (ACL), Aug 2013, Sofia, Bulgaria. pp. 328-333 (2013) BASE Show details 10 Logical dynamics of information and interaction Benthem, Johan van. - Cambridge : Cambridge Univ. Press, 2011 Leibniz-Zentrum Allgemeine Sprachwissenschaft Show details 11 The qualitative spatial dynamics of motion in language Moszkowicz, Jessica; Pustejovsky, James In: Spatial cognition and computation. - Philadelphia, Pa. : Taylor & Francis 11 (2011) 1, 15-44 BLLDB OLC Linguistik Show details 12 Sentence-internal "different" as quantifier-internal anaphora Brasoveanu, Adrian In: Linguistics and philosophy. - Dordrecht [u.a.] : Springer 34 (2011) 2, 93-168 BLLDB OLC Linguistik Show details 13 Cut-elimination and completeness in dynamic topological and linear-time temporal logics Kamide, Norihiro In: Logique et analyse. - Brüssel : Vakgroep Wijsbegeerte 54 (2011) 215, 379-394 BLLDB OLC Linguistik Show details 14 Language and Cognition Interaction Neural Mechanisms Perlovsky, Leonid In: DTIC (2011) BASE Show details 15 Decomposing modal quantification Brasoveanu, Adrian In: Journal of semantics. - Oxford : Univ. Press 27 (2010) 4, 437-527 BLLDB OLC Linguistik Show details 16 On the Ramsey test without triviality Leitgeb, Hannes In: Notre Dame journal of formal logic. - Durham, NC : Duke University Press 51 (2010) 1, 21-54 BLLDB OLC Linguistik Show details 17 Merging DEL and ETL Hoshi, Tomohiro In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 413-430 BLLDB OLC Linguistik Show details 18 The situation calculus: a case for modal logic Lakemeyer, Gerhard In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 431-450 BLLDB OLC Linguistik Show details 19 Temporal logics of agency Benthem, Johan van; Pacuit, Eric In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 19 (2010) 4, 389-393 BLLDB OLC Linguistik Show details 20 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 Page: 1 2 3 4 5

Mobile view All Catalogues UB Frankfurt Linguistik 15 IDS Mannheim 0 OLC Linguistik 28 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 8 Bibliographies BLLDB 75 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 14 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0