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 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
Preface	4
A Vector Logic for Extensional Formal Semantics	4
Spatio-temporal Model Checking with VoxLogicA	4
Names and Quantifiers: Bringing Them Together in Classical Logic	3
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5	3
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
Comprehension and Knowledge	2
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System	2
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
Belief Structures in the Realm of Belief Contraction	1
On Some Dynamics in Conceptual Spaces	1
Classical Implication for Three-Valued Logic	1

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
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity	0
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity	0
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics	0
A Propositional Cirquent Calculus for Computability Logic	0
Expressive Power and Intensional Operators	0
Referentiality and Configurationality in the Idiom and the Phrasal Verb	0
Algebraic Completeness of Connexive and Bi-Intuitionistic Multilattice Logics	0
Modified Numerals and Split Disjunction: The First-Order Case	0
Completeness of coalition logics with seriality, independence of agents, or determinism	0
Syllogistic Relevance and Term Logic	0
Truth-Functional Modal Expansions for 4-Valued Quasi-Relevant Logics	0
Inquisitive Neighborhood Logic	0
Algebraic Semantics for Interpretability Logics	0
A Modal Two-Variable Fragment of Second-Order Propositional Modal Logic	0
Assessing the Strengths and Weaknesses of Large Language Models	0
Non-transitive Correspondence Analysis	0
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again	0
Iterated AGM Revision Based on Probability Revision	0
Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and Knowledge	0
The Human Capacity for Measurement with a Unit	0
FSLI: A Unified Formal Semantics and Logic Inference Method for Natural Language One-Dimensional Ordering	0
Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero	0
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents	0
Proof-Theoretic Aspects of the Logic of Scope	0
Epistemic Proactivity via Reasoning about Beliefs and Expectations Using Plausibility Models	0
The Relational Syllogistic in the Quantified Argument Calculus	0
Logic for transitive GE-algebras	0
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic	0
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update	0
The Epistemology of Nondeterminism	0
Preface	0
Deontic Action Logics: A Modular Algebraic Perspective	0
Variations on distributed belief	0
Graph Grammar Formalism with Multigranularity for Spatial Graphs	0
Algebraic Effects for Extensible Dynamic Semantics	0
Sequent Images of Normal Derivations and Natural Deduction Images of Derivations without M-cuts	0
A Simple Sequent Calculus for Weak Full Grounding	0
From Counterfactual Conditionals to Temporal Conditionals	0
Modal Embedding of the Logic of Analytic Implication	0
A Substructural Approach to Explicit Modal Logic	0
Substructural Routes to Variable Inclusion	0
A Topical Approach to Implication-in-Fiction and Analytic Containment Logics	0
On the Logic of the Hide and Seek Game	0

Vectors for Topics: The use of Topical Vector Spaces in Epistemic Logics	0
On $${{{\mathcal {F}}}}$$-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks	0
On the Strongest Principles of Rational Belief Assignment	0
Variable Sharing and Mathematical Practice	0
Binding in classical and dynamic predicate logic	0
The Dynamics of Knowing How	0
Commutative Lambek Grammars	0
Propositional Logic for Infinitive Sentences	0
Relevant Deontic Logic Reconsidered	0
Information and Meaning in the Evolution of Compositional Signals	0
Language Learnability in the Limit: A Generalization of Gold’s Theorem	0
Correction: Non-Monotonicity and Contraposition	0
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks	0
The Family of Ambiguity Logics	0
subDL is Relevant	0
On the (Complete) Reasons Behind Decisions	0
Some Notes on Dyadic Contingency	0
On the expressive power of categorial grammars with unique category assignment	0
Exception and typicality, logically framed	0
Interpretation of Hybrid Counterfactual Logic into Hybrid Tense Logic: and Comparison of Their Expressive Power on Temporal Sphere Models	0
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA	0
Hilbert-Style Calculus and Tableau Calculus for Logics of Link Variations	0
A basic system of paraconsistent Nelsonian logic of conditionals	0
On Many-logic modal structures and information-based logics	0
Estimating the cognitive complexity of description logic entailments with a cognitive architecture	0
Embedding HTLCG into $$\hbox {LCG}_\phi $$	0
A Logical Characterization of Weak Determinism as Simultaneous Application	0
Formal Modelling and Verification of Probabilistic Resource Bounded Agents	0
Propositional Forms of Judgemental Interpretations	0
Logical models of mathematical texts II: Legality conventions for division by zero in inconsistent contexts	0
Temporal Dependencies in Dynamical Systems, a Modal-Style Exploration	0
A Computational Algebraic Analysis of Hindi Syntax	0
Justification Logics with Counterfactual and Relevant Conditionals	0
VSPursuer: A Tool for Finding Matrices Witnessing the Variable Sharing Property	0