OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Logic Language and Information is 1. 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
Preface	4
Piecewise Testable and Strictly Piecewise Functions for Long-distance Phonological Processes	4
Names and Quantifiers: Bringing Them Together in Classical Logic	4
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
Filtered Belief Revision: Syntax and Semantics	3
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	3
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
Comprehension and Knowledge	2
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems	2
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
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