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

Article	Citations
Type Polymorphism, Natural Language Semantics, and TIL	15
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic	9
Feedback Relevance Spaces: Interactional Constraints on Processing Contexts in Dynamic Syntax	9
IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages	5
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting	4
Performability of Actions	4
Relational Syllogisms with Numerical Quantifiers and Beyond	4
Preface	4
All Ravens can be Black, After All	4
An Update of Tarski: Two Usages of the Word “True”	3
Filtered Belief Revision: Syntax and Semantics	3
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents	3
Names and Quantifiers: Bringing Them Together in Classical Logic	3
Computable Heyting Algebras with Distinguished Atoms and Coatoms	3
A Family Whose Computable Numberings are All Complete	3
Verification and Strategy Synthesis for Coalition Announcement Logic	3
Double Negation as Minimal Negation	3
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	2
On the Fundamental Role of ‘Means That’ in Semantic Theorizing	2
Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott (2019)	2
Book Review	2
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	2
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

Non-strict Interventionism: The Case Of Right-Nested Counterfactuals	2
Complexity of the Universal Theory of Residuated Ordered Groupoids	2
Relativized Adjacency	2
On Some Dynamics in Conceptual Spaces	1
A Simple and Non-Trivial Ramsey Test	1
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	1
Possibility and Dyadic Contingency	1
Non-Monotonicity and Contraposition	1
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	1
Graph Grammar Formalism with Multigranularity for Spatial Graphs	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
Public Announcements, Public Lies and Recoveries	1
Modified Numerals and Split Disjunction: The First-Order Case	1
Some Notes on Dyadic Contingency	1
A Substructural Approach to Explicit Modal Logic	0
Who Should Be My Friends? Social Balance from the Perspective of Game Theory	0
Model Theoretical Aspects of Weakly Aggregative Modal Logic	0
Propositional Forms of Judgemental Interpretations	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
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
Book Review	0
The Epistemology of Nondeterminism	0
Non-transitive Correspondence Analysis	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
Logic and Interaction: Foreword to the Special Issue	0
Non-deterministic Logic of Informal Provability has no Finite Characterization	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible	0
Anaphoric Conservativity	0
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
Syllogistic Relevance and Term Logic	0
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
From Counterfactual Conditionals to Temporal Conditionals	0
Dynamic Logic of Legal Competences	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3	0
Dynamic Syntax	0
Logical Foundations for Hybrid Type-Logical Grammars	0
The Ramsey Test and Evidential Support Theory	0
On the (Complete) Reasons Behind Decisions	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
A Dynamic Analysis of Minimizers in Chinese lian…dou Construction	0
A Logic for Conditional Local Strategic Reasoning	0
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
Correction: Non-Monotonicity and Contraposition	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
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
Belief Revision and Computational Argumentation: A Critical Comparison	0
A Computational Algebraic Analysis of Hindi Syntax	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
Incremental Composition in Distributional Semantics	0
Assessing the Strengths and Weaknesses of Large Language Models	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
A Modal Logic for Supervised Learning	0
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems	0
On the Strongest Principles of Rational Belief Assignment	0
Expressive Power and Intensional Operators	0
A Propositional Cirquent Calculus for Computability Logic	0
Algebraic Effects for Extensible Dynamic Semantics	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
Propositional Logic for Infinitive Sentences	0
Commutative Lambek Grammars	0
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces	0
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic	0
A Reinterpretation of Beall’s ‘Off-Topic’ Semantics	0