Login / Signup
J. Log. Lang. Inf.
Publications
volume 33, number 1, 2024
Zeming Chen
,
Qiyue Gao
Monotonicity Reasoning in the Age of Neural Foundation Models.
J. Log. Lang. Inf.
33 (1) (2024)
Reto Gubelmann
,
Ioannis Katis
,
Christina Niklaus
,
Siegfried Handschuh
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks.
J. Log. Lang. Inf.
33 (1) (2024)
Aikaterini-Lida Kalouli
,
Lasha Abzianidze
,
Stergios Chatzikyriakidis
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA.
J. Log. Lang. Inf.
33 (1) (2024)
Gene Louis Kim
,
Mandar Juvekar
,
Junis Ekmekciu
,
Viet Duong
,
Lenhart K. Schubert
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System.
J. Log. Lang. Inf.
33 (1) (2024)
Shalom Lappin
Assessing the Strengths and Weaknesses of Large Language Models.
J. Log. Lang. Inf.
33 (1) (2024)
volume 33, number 2, 2024
Norihiro Kamide
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics.
J. Log. Lang. Inf.
33 (2) (2024)
Nicola Spinelli
Propositional Logic for Infinitive Sentences.
J. Log. Lang. Inf.
33 (2) (2024)
José Martín Castro-Manzano
Syllogistic Relevance and Term Logic.
J. Log. Lang. Inf.
33 (2) (2024)
Pablo Cubides Kovacsics
,
David Rey
Expressive Power and Intensional Operators.
J. Log. Lang. Inf.
33 (2) (2024)
Yaroslav I. Petrukhin
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics.
J. Log. Lang. Inf.
33 (2) (2024)
volume 32, number 1, 2023
Abhisekh Sankaran
Feferman-Vaught Decompositions for Prefix Classes of First Order Logic.
J. Log. Lang. Inf.
32 (1) (2023)
Kees van Berkel
,
Agata Ciabattoni
,
Elisa Freschi
,
Francesca Gulisano
,
Maya Olszewski
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again.
J. Log. Lang. Inf.
32 (1) (2023)
Sujata Ghosh
,
R. Ramanujam
Preface.
J. Log. Lang. Inf.
32 (1) (2023)
Adnan Darwiche
,
Auguste Hirth
On the (Complete) Reasons Behind Decisions.
J. Log. Lang. Inf.
32 (1) (2023)
Prosenjit Howlader
,
Mohua Banerjee
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems.
J. Log. Lang. Inf.
32 (1) (2023)
Nikolay Bazhenov
Computable Heyting Algebras with Distinguished Atoms and Coatoms.
J. Log. Lang. Inf.
32 (1) (2023)
Hans van Ditmarsch
,
Didier Galmiche
,
Marta Gawek
An Epistemic Separation Logic with Action Models.
J. Log. Lang. Inf.
32 (1) (2023)
volume 32, number 2, 2023
Cem Bozsahin
Referentiality and Configurationality in the Idiom and the Phrasal Verb.
J. Log. Lang. Inf.
32 (2) (2023)
Ivo Pezlar
Type Polymorphism, Natural Language Semantics, and TIL.
J. Log. Lang. Inf.
32 (2) (2023)
Julian Grove
,
Jean-Philippe Bernardy
Algebraic Effects for Extensible Dynamic Semantics.
J. Log. Lang. Inf.
32 (2) (2023)
Jie Fan
Some Notes on Dyadic Contingency.
J. Log. Lang. Inf.
32 (2) (2023)
Shawn Standefer
A Substructural Approach to Explicit Modal Logic.
J. Log. Lang. Inf.
32 (2) (2023)
Yaroslav I. Petrukhin
,
Vasily Shangin
Non-transitive Correspondence Analysis.
J. Log. Lang. Inf.
32 (2) (2023)
Tohru Seraku
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese.
J. Log. Lang. Inf.
32 (2) (2023)
volume 32, number 3, 2023
Gennady Shtakser
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic.
J. Log. Lang. Inf.
32 (3) (2023)
Norihiro Kamide
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.
J. Log. Lang. Inf.
32 (3) (2023)
Jacek Pasniczek
Names and Quantifiers: Bringing Them Together in Classical Logic.
J. Log. Lang. Inf.
32 (3) (2023)
Fernando C. Alves
Language Learnability in the Limit: A Generalization of Gold's Theorem.
J. Log. Lang. Inf.
32 (3) (2023)
Gustavo Adrian Bodanza
On ℱ-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks.
J. Log. Lang. Inf.
32 (3) (2023)
Steffen Lewitzka
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity.
J. Log. Lang. Inf.
32 (3) (2023)
Dmitry Shkatov
,
Clint J. van Alten
Complexity of the Universal Theory of Residuated Ordered Groupoids.
J. Log. Lang. Inf.
32 (3) (2023)
volume 32, number 4, 2023
Tao Xue
,
Zhaohui Luo
,
Stergios Chatzikyriakidis
Propositional Forms of Judgemental Interpretations.
J. Log. Lang. Inf.
32 (4) (2023)
Dakotah Lambert
Relativized Adjacency.
J. Log. Lang. Inf.
32 (4) (2023)
Teo Grunberg
,
David Grünberg
,
Oguz Akçelik
On the Fundamental Role of 'Means That' in Semantic Theorizing.
J. Log. Lang. Inf.
32 (4) (2023)
Maria Aloni
,
Peter van Ormondt
Modified Numerals and Split Disjunction: The First-Order Case.
J. Log. Lang. Inf.
32 (4) (2023)
Sven Ove Hansson
Iterated AGM Revision Based on Probability Revision.
J. Log. Lang. Inf.
32 (4) (2023)
Nina Gierasimczuk
,
Dariusz Kalocinski
,
Franciszek Rakowski
,
Jakub Uszynski
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents.
J. Log. Lang. Inf.
32 (4) (2023)
Yuichiro Hosokawa
From Counterfactual Conditionals to Temporal Conditionals.
J. Log. Lang. Inf.
32 (4) (2023)
volume 32, number 5, 2023
Alok Debanth
,
Manish Shrivastava
A Computational Algebraic Analysis of Hindi Syntax.
J. Log. Lang. Inf.
32 (5) (2023)
Tikhon Pshenitsyn
Commutative Lambek Grammars.
J. Log. Lang. Inf.
32 (5) (2023)
Hoang Nga Nguyen
,
Abdur Rakib
Formal Modelling and Verification of Probabilistic Resource Bounded Agents.
J. Log. Lang. Inf.
32 (5) (2023)
Fengkui Ju
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update.
J. Log. Lang. Inf.
32 (5) (2023)
Satoru Niki
Double Negation as Minimal Negation.
J. Log. Lang. Inf.
32 (5) (2023)
Yufeng Liu
,
Fan Yang
,
Jian Liu
Graph Grammar Formalism with Multigranularity for Spatial Graphs.
J. Log. Lang. Inf.
32 (5) (2023)
volume 31, number 4, 2022
Giacomo Bonanno
Filtered Belief Revision: Syntax and Semantics.
J. Log. Lang. Inf.
31 (4) (2022)
Lawrence S. Moss
,
Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.
J. Log. Lang. Inf.
31 (4) (2022)
Paulo T. Guerra
,
Renata Wassermann
Revising System Specifications in Temporal Logic.
J. Log. Lang. Inf.
31 (4) (2022)
Pietro Baroni
,
Eduardo Fermé
,
Massimiliano Giacomin
,
Guillermo Ricardo Simari
Belief Revision and Computational Argumentation: A Critical Comparison.
J. Log. Lang. Inf.
31 (4) (2022)
Jordan Needle
Embedding HTLCG into $\hbox {LCG}_\phi $.
J. Log. Lang. Inf.
31 (4) (2022)
Anthia Solaki
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.
J. Log. Lang. Inf.
31 (4) (2022)