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

Article	Citations
Type Polymorphism, Natural Language Semantics, and TIL	37
Carnap, Categoricity, and Commas	15
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic	9
A Vector Logic for Extensional Formal Semantics	5
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting	5
Preface	4
Piecewise Testable and Strictly Piecewise Functions for Long-distance Phonological Processes	4
Computable Heyting Algebras with Distinguished Atoms and Coatoms	3
On Relevant Acceptable Strictly Connexive Logics	3
Names and Quantifiers: Bringing Them Together in Classical Logic	3
Filtered Belief Revision: Syntax and Semantics	3
A Family Whose Computable Numberings are All Complete	3
Double Negation as Minimal Negation	3
Comprehension and Knowledge	2
On the Fundamental Role of ‘Means That’ in Semantic Theorizing	2
A Note on Halpern’s Theory of Causality: Structural Equations and Interventions as Dynamic Logic Programs	2
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	2
On structural parallelism in formal music semantics	2
On the Vast Difference	2
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	2
Monotonicity Reasoning in the Age of Neural Foundation Models	2
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems	2
Revising System Specifications in Temporal Logic	1
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018	1
The Algebra of Analytic Containment	1

Belief Structures in the Realm of Belief Contraction	1
Complexity of the Universal Theory of Residuated Ordered Groupoids	1
subDL is Relevant	1
Non-Monotonicity and Contraposition	1
Relativized Adjacency	1
An Epistemic Separation Logic with Action Models	1
On Some Dynamics in Conceptual Spaces	1
Classical Implication for Three-Valued Logic	1