OOIR: Observatory of International Research

Papers

(The median citation count of Journal of Logic Language and Information is 0. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-11-01 to 2025-11-01.)

Article	Citations
Type Polymorphism, Natural Language Semantics, and TIL	29
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic	10
IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages	7
Computable Heyting Algebras with Distinguished Atoms and Coatoms	6
Preface	6
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting	6
Names and Quantifiers: Bringing Them Together in Classical Logic	5
Double Negation as Minimal Negation	4
A Family Whose Computable Numberings are All Complete	3
An Update of Tarski: Two Usages of the Word “True”	3
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	3
On the Vast Difference	3
Filtered Belief Revision: Syntax and Semantics	3
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents	3
On the Fundamental Role of ‘Means That’ in Semantic Theorizing	3
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	3
Non-strict Interventionism: The Case Of Right-Nested Counterfactuals	3
Comprehension and Knowledge	3
Monotonicity Reasoning in the Age of Neural Foundation Models	2
An Epistemic Separation Logic with Action Models	2
Revising System Specifications in Temporal Logic	2
Complexity of the Universal Theory of Residuated Ordered Groupoids	2
Belief Structures in the Realm of Belief Contraction	2
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	2
Relativized Adjacency	2

Possibility and Dyadic Contingency	2
Classical Implication for Three-Valued Logic	2
Modified Numerals and Split Disjunction: The First-Order Case	1
On the expressive power of categorial grammars with unique category assignment	1
Some Notes on Dyadic Contingency	1
A Simple and Non-Trivial Ramsey Test	1
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	1
Model Theoretical Aspects of Weakly Aggregative Modal Logic	1
Public Announcements, Public Lies and Recoveries	1
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	1
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts	1
Graph Grammar Formalism with Multigranularity for Spatial Graphs	1
On Some Dynamics in Conceptual Spaces	1
Non-Monotonicity and Contraposition	1
Exception and typicality, logically framed	0
Logical Foundations for Hybrid Type-Logical Grammars	0
The Ramsey Test and Evidential Support Theory	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
Proof-Theoretic Aspects of the Logic of Scope	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces	0
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power	0
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
Logic and Interaction: Foreword to the Special Issue	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
A Computational Algebraic Analysis of Hindi Syntax	0
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible	0
Inquisitive Neighborhood Logic	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
Anaphoric Conservativity	0
Information and Meaning in the Evolution of Compositional Signals	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics	0
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
A Propositional Cirquent Calculus for Computability Logic	0
The Human Capacity for Measurement with a Unit	0
Algebraic Effects for Extensible Dynamic Semantics	0
The Family of Ambiguity Logics	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
Assessing the Strengths and Weaknesses of Large Language Models	0
A Substructural Approach to Explicit Modal Logic	0
Propositional Forms of Judgemental Interpretations	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
Belief Revision and Computational Argumentation: A Critical Comparison	0
Who Should Be My Friends? Social Balance from the Perspective of Game Theory	0
From Counterfactual Conditionals to Temporal Conditionals	0

Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
Correction: Non-Monotonicity and Contraposition	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	0
Commutative Lambek Grammars	0
Ambiguity Advantage Under Meaning Activation	0
On the (Complete) Reasons Behind Decisions	0
The Epistemology of Nondeterminism	0
A Modal Logic for Supervised Learning	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
On the Strongest Principles of Rational Belief Assignment	0
Iterated AGM Revision Based on Probability Revision	0
Non-transitive Correspondence Analysis	0
Syllogistic Relevance and Term Logic	0
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
Expressive Power and Intensional Operators	0
A Reinterpretation of Beall’s ‘Off-Topic’ Semantics	0
Propositional Logic for Infinitive Sentences	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
A Logic for Conditional Local Strategic Reasoning	0
A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms	0