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

Article	Citations
Type Polymorphism, Natural Language Semantics, and TIL	37
Carnap, Categoricity, and Commas	15
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic	9
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting	5
A Vector Logic for Extensional Formal Semantics	5
Preface	4
Piecewise Testable and Strictly Piecewise Functions for Long-distance Phonological Processes	4
Names and Quantifiers: Bringing Them Together in Classical Logic	3
Filtered Belief Revision: Syntax and Semantics	3
A Family Whose Computable Numberings are All Complete	3
Double Negation as Minimal Negation	3
Computable Heyting Algebras with Distinguished Atoms and Coatoms	3
On Relevant Acceptable Strictly Connexive Logics	3
A Note on Halpern’s Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs	2
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	2
On structural parallelism in formal music semantics	2
On the Vast Difference	2
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	2
Monotonicity Reasoning in the Age of Neural Foundation Models	2
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems	2
Comprehension and Knowledge	2
On the Fundamental Role of ‘Means That’ in Semantic Theorizing	2
The Algebra of Analytic Containment	1
Belief Structures in the Realm of Belief Contraction	1
Complexity of the Universal Theory of Residuated Ordered Groupoids	1

subDL is Relevant	1
Non-Monotonicity and Contraposition	1
Relativized Adjacency	1
An Epistemic Separation Logic with Action Models	1
On Some Dynamics in Conceptual Spaces	1
Classical Implication for Three-Valued Logic	1
Revising System Specifications in Temporal Logic	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese	0
Exception and typicality, logically framed	0
Assessing the Strengths and Weaknesses of Large Language Models	0
Correction: Non-Monotonicity and Contraposition	0
Iterated AGM Revision Based on Probability Revision	0
Syllogistic Relevance and Term Logic	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	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
Variable Sharing and Mathematical Practice	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
A Simple Sequent Calculus for Weak Full Grounding	0
Commutative Lambek Grammars	0
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	0
Propositional Forms of Judgemental Interpretations	0
Some Notes on Dyadic Contingency	0
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
Algebraic Semantics for Interpretability Logics	0
Justification Logics with Counterfactual and Relevant Conditionals	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
The Epistemology of Nondeterminism	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
Substructural Routes to Variable Inclusion	0
A Propositional Cirquent Calculus for Computability Logic	0
A Substructural Approach to Explicit Modal Logic	0
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics	0
Vectors for Topics: The use of Topical Vector Spaces in Epistemic Logics	0
Inquisitive Neighborhood Logic	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
The Family of Ambiguity Logics	0
On the expressive power of categorial grammars with unique category assignment	0
A Computational Algebraic Analysis of Hindi Syntax	0
Information and Meaning in the Evolution of Compositional Signals	0
Graph Grammar Formalism with Multigranularity for Spatial Graphs	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
Variations on distributed belief	0
A Topical Approach to Implication-in-Fiction and Analytic Containment Logics	0
The Human Capacity for Measurement with a Unit	0
Modal Embedding of the Logic of Analytic Implication	0

The Dynamics of Knowing How	0
The Relational Syllogistic in the Quantified Argument Calculus	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
Deontic Action Logics: A Modular Algebraic Perspective	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Expressive Power and Intensional Operators	0
On the (Complete) Reasons Behind Decisions	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
On the Strongest Principles of Rational Belief Assignment	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
From Counterfactual Conditionals to Temporal Conditionals	0
Algebraic Effects for Extensible Dynamic Semantics	0
Proof-Theoretic Aspects of the Logic of Scope	0
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property	0
Modified Numerals and Split Disjunction: The First-Order Case	0
Propositional Logic for Infinitive Sentences	0
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	0
Non-transitive Correspondence Analysis	0
Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration	0
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
Completeness of coalition logics with seriality, independence of agents, or determinism	0