default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 30
Volume 30, Number 1, March 2021
- Jean-Philippe Bernardy, Stergios Chatzikyriakidis, Aleksandre Maskharashvili:
A Computational Treatment of Anaphora and Its Algorithmic Implementation. 1-29 - Max I. Kanovich, Stepan L. Kuznetsov
, Andre Scedrov:
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. 31-88 - Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov:
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities. 89 - Vít Puncochár, Igor Sedlár:
Inquisitive Propositional Dynamic Logic. 91-116 - Gemma Robles, José M. Méndez:
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH. 117-138 - Christian Wurm:
Reasoning with Ambiguity. 139-206 - Bartosz Wieckowski:
Subatomic Negation. 207-262
Volume 30, Number 2, June 2021
- Christine Howes, Hannah Gibson:
Dynamic Syntax. 263-276 - Stergios Chatzikyriakidis:
Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects. 277-304 - Nadezda Christopher:
Differential Object Marking in Kazakh: The Dynamic Syntax Approach. 305-329 - Christine Howes, Arash Eshghi:
Feedback Relevance Spaces: Interactional Constraints on Processing Contexts in Dynamic Syntax. 331-362 - Jieun Kiaer:
Left-to-Right Asymmetry and Early Association in Korean. 363-378 - Matthew Purver, Mehrnoosh Sadrzadeh, Ruth Kempson, Gijs Wijnholds, Julian Hough:
Incremental Composition in Distributional Semantics. 379-406 - Tohru Seraku:
A "Maximal Exclusion" Approach to Structural Underspecification in Dynamic Syntax. 407-428 - Xiaolong Yang, Yicheng Wu:
A Dynamic Analysis of Minimizers in Chinese lian...dou Construction. 429-449
Volume 30, Number 3, September 2021
- Rustam Galimullin:
Coalition and Relativised Group Announcement Logic. 451-489 - Norihiro Kamide:
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. 491-531 - Gemma Robles, José M. Méndez:
A Class of Implicative Expansions of Kleene's Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz's 3-Valued Logic Ł3. 533-556 - Andrew Blake, Gem Stapleton, Peter J. Rodgers, Anestis Touloumis:
Evaluating Free Rides and Observational Advantages in Set Visualizations. 557-600 - Ernst Zimmermann:
Natural Deduction Bottom Up. 601-631 - Thomas Grano:
Book Review. 633-656
Volume 30, Number 4, December 2021
- Ruurik Holm:
All Ravens can be Black, After All. 657-669 - Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin, Tuo Wang:
Verification and Strategy Synthesis for Coalition Announcement Logic. 671-700 - Huimin Dong, Olivier Roy:
Dynamic Logic of Legal Competences. 701-724 - Gianluca Grilletti:
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic. 725-751 - Janusz Czelakowski:
Performability of Actions. 753-804 - Pawel Pawlowski:
Non-deterministic Logic of Informal Provability has no Finite Characterization. 805-817 - Giosuè Baggio:
Book Review. 819-823
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
