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-08-01 to 2025-08-01.)

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

Relativized Adjacency	2
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	2
Non-Monotonicity and Contraposition	2
Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott (2019)	2
Revising System Specifications in Temporal Logic	2
Public Announcements, Public Lies and Recoveries	2
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	1
Graph Grammar Formalism with Multigranularity for Spatial Graphs	1
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	1
On Some Dynamics in Conceptual Spaces	1
Modified Numerals and Split Disjunction: The First-Order Case	1
Model Theoretical Aspects of Weakly Aggregative Modal Logic	1
A Simple and Non-Trivial Ramsey Test	1
Some Notes on Dyadic Contingency	1
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	1
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
Iterated AGM Revision Based on Probability Revision	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
Syllogistic Relevance and Term Logic	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
A Substructural Approach to Explicit Modal Logic	0
Who Should Be My Friends? Social Balance from the Perspective of Game Theory	0
Belief Revision and Computational Argumentation: A Critical Comparison	0
A Computational Algebraic Analysis of Hindi Syntax	0
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power	0
On the (Complete) Reasons Behind Decisions	0
Assessing the Strengths and Weaknesses of Large Language Models	0
Ambiguity Advantage Under Meaning Activation	0
Expressive Power and Intensional Operators	0
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese	0
Information and Meaning in the Evolution of Compositional Signals	0
A Logic for Conditional Local Strategic Reasoning	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
Non-deterministic Logic of Informal Provability has no Finite Characterization	0
Propositional Logic for Infinitive Sentences	0
Anaphoric Conservativity	0
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic	0
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
Propositional Forms of Judgemental Interpretations	0
A Reinterpretation of Beall’s ‘Off-Topic’ Semantics	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
From Counterfactual Conditionals to Temporal Conditionals	0
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces	0
Exception and typicality, logically framed	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	0
Logical Foundations for Hybrid Type-Logical Grammars	0
Logic and Interaction: Foreword to the Special Issue	0

The Epistemology of Nondeterminism	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
A Propositional Cirquent Calculus for Computability Logic	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	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
On the Strongest Principles of Rational Belief Assignment	0
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic	0
Dynamic Logic of Legal Competences	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
Algebraic Effects for Extensible Dynamic Semantics	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
Non-transitive Correspondence Analysis	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
The Human Capacity for Measurement with a Unit	0
The Ramsey Test and Evidential Support Theory	0
Correction: Non-Monotonicity and Contraposition	0
A Modal Logic for Supervised Learning	0
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible	0
Commutative Lambek Grammars	0
A basic system of paraconsistent Nelsonian logic of conditionals	0