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

Article	Citations
Type Polymorphism, Natural Language Semantics, and TIL	43
Carnap, Categoricity, and Commas	16
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic	10
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting	6
Piecewise Testable and Strictly Piecewise Functions for Long-distance Phonological Processes	5
A Vector Logic for Extensional Formal Semantics	4
Spatio-temporal Model Checking with VoxLogicA	4
Preface	4
A Family Whose Computable Numberings are All Complete	3
A Note on Halpern’s Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs	3
On Relevant Acceptable Strictly Connexive Logics	3
Double Negation as Minimal Negation	3
Names and Quantifiers: Bringing Them Together in Classical Logic	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
A Diagnostic Framework for Compositional Generalization via NL-to-FOL Translation	2
On the Vast Difference	2
On structural parallelism in formal music semantics	2
On the Fundamental Role of ‘Means That’ in Semantic Theorizing	2
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems	2
Comprehension and Knowledge	2
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	2
Complexity of the Universal Theory of Residuated Ordered Groupoids	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
The Algebra of Analytic Containment	1

An Epistemic Separation Logic with Action Models	1
Relativized Adjacency	1
Non-Monotonicity and Contraposition	1
Revising System Specifications in Temporal Logic	1
Belief Structures in the Realm of Belief Contraction	1
On Some Dynamics in Conceptual Spaces	1
Classical Implication for Three-Valued Logic	1