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

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

Non-Monotonicity and Contraposition	1
On Some Dynamics in Conceptual Spaces	1
An Epistemic Separation Logic with Action Models	1
Relativized Adjacency	1
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	1
subDL is Relevant	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
Revising System Specifications in Temporal Logic	1
The Algebra of Analytic Containment	1
Variations on distributed belief	1
Syllogistic Relevance and Term Logic	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
Correction: Non-Monotonicity and Contraposition	0
Exception and typicality, logically framed	0
VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property	0
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese	0
Substructural Routes to Variable Inclusion	0
A Propositional Cirquent Calculus for Computability Logic	0
The Relational Syllogistic in the Quantified Argument Calculus	0
The Family of Ambiguity Logics	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
A Substructural Approach to Explicit Modal Logic	0
On the Strongest Principles of Rational Belief Assignment	0
From Counterfactual Conditionals to Temporal Conditionals	0
A Topical Approach to Implication-in-Fiction and Analytic Containment Logics	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
On the expressive power of categorial grammars with unique category assignment	0
A Computational Algebraic Analysis of Hindi Syntax	0
Graph Grammar Formalism with Multigranularity for Spatial Graphs	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
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
On the (Complete) Reasons Behind Decisions	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics	0
Information and Meaning in the Evolution of Compositional Signals	0
Completeness of coalition logics with seriality, independence of agents, or determinism	0
Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration	0
Proof-Theoretic Aspects of the Logic of Scope	0
Justification Logics with Counterfactual and Relevant Conditionals	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
Iterated AGM Revision Based on Probability Revision	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic	0
Algebraic Semantics for Interpretability Logics	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
Non-transitive Correspondence Analysis	0
Propositional Forms of Judgemental Interpretations	0
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts	0

A Simple Sequent Calculus for Weak Full Grounding	0
Modified Numerals and Split Disjunction: The First-Order Case	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
The Human Capacity for Measurement with a Unit	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	0
Assessing the Strengths and Weaknesses of Large Language Models	0
Deontic Action Logics: A Modular Algebraic Perspective	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
The Epistemology of Nondeterminism	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Commutative Lambek Grammars	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
Expressive Power and Intensional Operators	0
Variable Sharing and Mathematical Practice	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
Belief Revision and Computational Argumentation: A Critical Comparison	0
The Dynamics of Knowing How	0
Inquisitive Neighborhood Logic	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
Propositional Logic for Infinitive Sentences	0
Model Theoretical Aspects of Weakly Aggregative Modal Logic	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	0
Algebraic Effects for Extensible Dynamic Semantics	0
Some Notes on Dyadic Contingency	0