OOIR: Observatory of International Research

Papers

(The TQCC of Studia Logica 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 2020-11-01 to 2024-11-01.)

Article	Citations
Three Ways of Being Non-Material	12
Containment Logics: Algebraic Completeness and Axiomatization	10
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics	9
Free Logics are Cut-Free	8
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic	7
Twist Structures and Nelson Conuclei	6
Poset Products as Relational Models	5
Sequent-Calculi for Metainferential Logics	5
Incompleteness and the Halting Problem	5
Group Representation for Even and Odd Involutive Commutative Residuated Chains	4
Residuated Structures and Orthomodular Lattices	4
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics	4
Infinitary Action Logic with Multiplexing	4
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence	3
Intuitionistic Logic is a Connexive Logic	3
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	3
A Characterization of Probability-based Dichotomous Belief Revision	3
Inquisitive Heyting Algebras	3
A Few Notes on Quantum B-algebras	3
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals	3
The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces	3
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	3
An Analysis of Poly-connexivity	2
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth	2
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$	2

Positive Monotone Modal Logic	2
Sequent Calculi for the Propositional Logic of HYPE	2
Logic of Convex Order	2
A Semantics for Hyperintensional Belief Revision Based on Information Bases	2
Connexive Negation	2
Idempotent Variations on the Theme of Exclusive Disjunction	2
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics	2
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication	2
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic	2
Contact Join-semilattices	2
Connexive Logic, Connexivity, and Connexivism: Remarks on Terminology	2
Endogenizing Epistemic Actions	2
$$\mathrm {ZF}$$ Between Classicality and Non-classicality	2
Sub-Hilbert Lattices	2
A Cut-Elimination Proof in Positive Relevant Logic with Necessity	2
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds	2
On the Proof Theory of Infinitary Modal Logic	2
An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$	2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups	2
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics	2
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi	2
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic	2
Lattices of Finitely Alternative Normal Tense Logics	2
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem	1
A Logical Theory for Conditional Weak Ontic Necessity in Branching Time	1
A Simple Logic of the Hide and Seek Game	1
Book Reviews	1
Williamson’s Abductive Case for the Material Conditional Account	1
An Axiomatic System for Concessive Conditionals	1
A Categorical Equivalence for Tense Nelson Algebras	1
On Groupoids of Relations with One Conjunctive Operation of Rank 2	1
On Relative Principal Congruences in Term Quasivarieties	1
Everyone Knows That Everyone Knows: Gossip Protocols for Super Experts	1
Finite Model Property in Weakly Transitive Tense Logics	1
Tense Operators on Distributive Lattices with Implication	1
Systems for Non-Reflexive Consequence	1
Finite Hilbert Systems for Weak Kleene Logics	1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem	1
The Calculus of Natural Calculation	1
Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity	1
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic	1
On Inclusions Between Quantified Provability Logics	1
The G4i Analogue of a G3i Sequent Calculus	1
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions	1
Natural Deduction Systems for Intuitionistic Logic with Identity	1
Axiomatizing a Minimal Discussive Logic	1
From Contact Relations to Modal Operators, and Back	1
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras	1
Splittings in Subreducts of Hoops	1
Decidability of Lattice Equations	1

Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	1
On Pretabular Extensions of Relevance Logic	1
From Semantic Games to Provability: The Case of Gödel Logic	1
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics	1
Proof Systems for Super- Strict Implication	1
Intuitionistic Modal Algebras	1
Intuitionistic Propositional Logic with Galois Negations	1
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds	1
The Quantified Argument Calculus with Two- and Three-valued Truth-valuational Semantics	1
On Independent Axiomatizability of Quasi-Normal Modal Logics	1
A Simple Way to Overcome Hyperconnexivity	1
A Generalization of Monadic n-Valued Łukasiewicz Algebras	1
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem	1