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-04-01 to 2024-04-01.)

Article	Citations
Three Ways of Being Non-Material	11
Positive Announcements	9
Containment Logics: Algebraic Completeness and Axiomatization	8
Free Logics are Cut-Free	8
The Entropy-Limit (Conjecture) for $$\Sigma _2$$-Premisses	5
Incompleteness and the Halting Problem	5
Sequent-Calculi for Metainferential Logics	5
Two Decision Procedures for da Costa’s $$C_n$$ Logics Based on Restricted Nmatrix Semantics	5
The Poset of All Logics III: Finitely Presentable Logics	5
A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents	4
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic	4
Poset Products as Relational Models	4
Non-classical Models of ZF	4
Axiomatization of Crisp Gödel Modal Logic	4
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics	4
A Characterization of Probability-based Dichotomous Belief Revision	3
Group Representation for Even and Odd Involutive Commutative Residuated Chains	3
Connexive Logic, Probabilistic Default Reasoning, and Compound Conditionals	3
Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT	3
Residuated Structures and Orthomodular Lattices	3
Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence	3
On Categorical Equivalence of Weak Monadic Residuated Distributive Lattices and Weak Monadic c-Differential Residuated Distributive Lattices	3
Endogenizing Epistemic Actions	2
A Cut-Elimination Proof in Positive Relevant Logic with Necessity	2
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics	2

Lattices of Finitely Alternative Normal Tense Logics	2
An Analysis of Poly-connexivity	2
Relational Representation Theorems for Extended Contact Algebras	2
Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups	2
Twist Structures and Nelson Conuclei	2
Inquisitive Heyting Algebras	2
An Algebraic Study of Tense Operators on Nelson Algebras	2
Idempotent Variations on the Theme of Exclusive Disjunction	2
Kripke Semantics for Intuitionistic Łukasiewicz Logic	2
A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics	2
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$	2
Logic of Convex Order	2
$$\mathrm {ZF}$$ Between Classicality and Non-classicality	2
Connexive Negation	2
A Few Notes on Quantum B-algebras	2
Intuitionistic Logic is a Connexive Logic	2
Belnap–Dunn Modal Logic with Value Operators	2
Measuring Inconsistency in Some Logics with Modal Operators	2
Sequent Calculi for the Propositional Logic of HYPE	2
Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics	2
Splittings in Subreducts of Hoops	1
Systems for Non-Reflexive Consequence	1
Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras	1
Sub-Hilbert Lattices	1
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem	1
The G4i Analogue of a G3i Sequent Calculus	1
A Simple Logic of the Hide and Seek Game	1
On the Proof Theory of Infinitary Modal Logic	1
Contact Join-semilattices	1
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics	1
A First-Order Expansion of Artemov and Protopopescu’s Intuitionistic Epistemic Logic	1
Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics	1
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds	1
A Semantics for Hyperintensional Belief Revision Based on Information Bases	1
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic	1
Axiomatizing a Minimal Discussive Logic	1
The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives	1
A Generalization of Monadic n-Valued Łukasiewicz Algebras	1
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality	1
The Calculus of Natural Calculation	1
From Semantic Games to Provability: The Case of Gödel Logic	1
Infinitary Action Logic with Multiplexing	1
A Characteristic Frame for Positive Intuitionistic and Relevance Logic	1
Proof Systems for Super- Strict Implication	1
On Inclusions Between Quantified Provability Logics	1
A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication	1
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions	1
Lambek Calculus with Conjugates	1
Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi	1
From Contact Relations to Modal Operators, and Back	1

The Categorical Equivalence Between Domains and Interpolative Generalized Closure Spaces	1
Tense Operators on Distributive Lattices with Implication	1
Confluence Proofs of Lambda-Mu-Calculi by Z Theorem	1
On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem	1
Book Reviews	1
Intuitionistic Propositional Logic with Galois Negations	1
Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic	1
Positive Monotone Modal Logic	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
Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds	1
On Independent Axiomatizability of Quasi-Normal Modal Logics	1