default search action
Journal 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
A Hilbert-Style Axiomatisation for Equational Hybrid Logic. 31-52 - Livio Robaldo
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
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
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
Blocking the Routes to Triviality with Depth Relevance. 493-526 - Hans Smessaert
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-01-13 21:21 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: