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 2022-01-01 to 2026-01-01.)

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

An Epistemic Separation Logic with Action Models	2
Classical Implication for Three-Valued Logic	1
A Simple and Non-Trivial Ramsey Test	1
Some Notes on Dyadic Contingency	1
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	1
Variations on distributed belief	1
Public Announcements, Public Lies and Recoveries	1
Revising System Specifications in Temporal Logic	1
Non-Monotonicity and Contraposition	1
Modified Numerals and Split Disjunction: The First-Order Case	1
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts	1
On Some Dynamics in Conceptual Spaces	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	1
Graph Grammar Formalism with Multigranularity for Spatial Graphs	1
On the expressive power of categorial grammars with unique category assignment	1
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
Anaphoric Conservativity	0
Assessing the Strengths and Weaknesses of Large Language Models	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
Logic and Interaction: Foreword to the Special Issue	0
Algebraic Effects for Extensible Dynamic Semantics	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible	0
A Computational Algebraic Analysis of Hindi Syntax	0
Inquisitive Neighborhood Logic	0
Information and Meaning in the Evolution of Compositional Signals	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
Model Theoretical Aspects of Weakly Aggregative Modal Logic	0
A Propositional Cirquent Calculus for Computability Logic	0
Non-transitive Correspondence Analysis	0
Syllogistic Relevance and Term Logic	0
On the (Complete) Reasons Behind Decisions	0
Exception and typicality, logically framed	0
The Epistemology of Nondeterminism	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
The Family of Ambiguity Logics	0
The Human Capacity for Measurement with a Unit	0
On the Strongest Principles of Rational Belief Assignment	0
A Substructural Approach to Explicit Modal Logic	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
Belief Revision and Computational Argumentation: A Critical Comparison	0
Correction: Non-Monotonicity and Contraposition	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
From Counterfactual Conditionals to Temporal Conditionals	0
Commutative Lambek Grammars	0

Propositional Logic for Infinitive Sentences	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power	0
Deontic Action Logics: A Modular Algebraic Perspective	0
Logical Foundations for Hybrid Type-Logical Grammars	0
The Ramsey Test and Evidential Support Theory	0
A Modal Logic for Supervised Learning	0
Iterated AGM Revision Based on Probability Revision	0
The Dynamics of Knowing How	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
Expressive Power and Intensional Operators	0
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
A Reinterpretation of Beall’s ‘Off-Topic’ Semantics	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
Who Should Be My Friends? Social Balance from the Perspective of Game Theory	0
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic	0
A Logic for Conditional Local Strategic Reasoning	0
Propositional Forms of Judgemental Interpretations	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
Proof-Theoretic Aspects of the Logic of Scope	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
Ambiguity Advantage Under Meaning Activation	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