OOIR: Observatory of International Research

Papers

(The TQCC of Studia Logica is 4. The table below lists those papers that are above that threshold based on CrossRef citation counts. The publications cover those that have been published in the past four years, i.e., from 2019-06-01 to 2023-06-01.)

Article	Citations
Categorial grammars determined from linguistic data by unification	43
From Semirings to Residuated Kleene Lattices	22
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks	21
Structural Inference from Conditional Knowledge Bases	20
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter	19
Program Extraction from Normalization Proofs	17
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents	15
Proof Theory of Paraconsistent Weak Kleene Logic	11
The Monodic Fragment of Propositional Term Modal Logic	10
Axiomatizing the Logic of Imagination	10
Finitary Polyadic Algebras from Cylindric Algebras	10
Is Logic all in our Heads? From Naturalism to Psychologism	9
The Fundamental Problem of General Proof Theory	9
Nonmonotonic reasoning: from finitary relations to infinitary inference operations	9
The axiomatic systems from the methodological point of view	9
Is There a “Hilbert Thesis”?	9
A Duality for Involutive Bisemilattices	9
Varieties of BL-Algebras III: Splitting Algebras	8
Valuations: Bi, Tri, and Tetra	8
Disjunction and Existence Properties in Inquisitive First-Order Logic	8
Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences	7
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics	7
Epimorphisms, Definability and Cardinalities	6
A Deterministic Weakening of Belnap–Dunn Logic	6
Number: From the Ny?ya to Frege-Russell	6

A Propositional Dynamic Logic for Instantial Neighborhood Semantics	5
L-effect Algebras	5
The Naturality of Natural Deduction	5
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic	5
From the methodology of the deductive sciences	5
Complexity of the Universal Theory of Modal Algebras	4
Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory	4
Categoricity Spectra for Polymodal Algebras	4
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras	4
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View	4
A Note on Strong Axiomatization of Gödel Justification Logic	4
Normality, Non-contamination and Logical Depth in Classical Natural Deduction	4
Postponement of $$\mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited	4
From Axiomatic Logic to Natural Deduction	4