default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic, Language and Information, Volume 23
Volume 23, Number 1, March 2014
- Sujata Ghosh, Ben Meijering, Rineke Verbrugge:
Strategic Reasoning: Building Cognitive Models from Logical Formulas. 1-29 - Luís Soares Barbosa
, Manuel A. Martins, Marta Carreteiro:
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. 31-52 - Livio Robaldo, Jakub Szymanik, Ben Meijering:
On the Identification of Quantifiers' Witness Sets: A Study of Multi-quantifier Sentences. 53-81 - Mathieu Vidal:
Speed Up the Conception of Logical Systems with Test-Driven Development. 83-103
Volume 23, Number 2, June 2014
- Thomas Ågotnes, Natasha Alechina:
Formal Models of Awareness. 105-106 - Fernando R. Velázquez-Quesada:
Dynamic Epistemic Logic for Implicit and Explicit Beliefs. 107-140 - Fernando Soler-Toscano, Fernando R. Velázquez-Quesada:
Generation and Selection of Abductive Explanations for Non-Omniscient Agents. 141-168 - Hans van Ditmarsch, Tim French:
Semantics for Knowledge and Change of Awareness. 169-195 - Thomas Ågotnes, Natasha Alechina:
A Logic for Reasoning About Knowledge of Unawareness. 197-217 - Julien Saunier, Flavien Balbo, Suzanne Pinson:
A Formal Model of Communication and Context Awareness in Multiagent Systems. 219-247
Volume 23, Number 3, September 2014
- Marcos Lopes, Urszula Wybraniec-Skardowska:
Special Issue Including Selected Papers from the "Logic and Linguistics" Workshop of the 4th World Congress on Universal Logic. 249-252 - Jean-Pierre Desclés, Anca Christine Pascu, Hee-Jin Ro:
Aspecto-Temporal Meanings Analysed by Combinatory Logic. 253-274 - Brendan S. Gillon:
Complement Polyvalence and Permutation in English. 275-285 - Jonathan Ginzburg, Robin Cooper:
Quotation via Dialogical Interaction. 287-311 - Marcus Kracht, Udo Klein:
The Grammar of Code Switching. 313-329 - Marek Krótkiewicz, Krystian Wojtkiewicz:
Functional and Structural Integration without Competence Overstepping in Structured Semantic Knowledge Base System. 331-345 - Livy Real, Christian Retoré:
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n. 347-366 - Johan van Benthem:
Natural Language and Logic of Agency. 367-382 - Andrzej Wisniewski:
Support and Sets of Situations. 383-396
Volume 23, Number 4, December 2014
- Martin Mose Bentzen:
Action Type Deontic Logic. 397-414 - Torben Braüner:
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. 415-439 - Stergios Chatzikyriakidis, Zhaohui Luo:
Natural Language Inference in Coq. 441-480 - András Kornai:
Resolving the Infinitude Controversy. 481-492 - Gemma Robles, José M. Méndez:
Blocking the Routes to Triviality with Depth Relevance. 493-526 - Hans Smessaert, Lorenz Demey:
Logical Geometries and Information in the Square of Oppositions. 527-565
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 2025-02-21 19:35 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:
