OOIR: Observatory of International Research

Papers

(The TQCC of Journal of Logic and Computation is 2. 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-05-01 to 2024-05-01.)

Article	Citations
Open sets in computability theory and reverse mathematics	15
Declarative continuous reasoning in the cloud-IoT continuum	15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages	14
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis	12
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages	11
Completeness theorems for first-order logic analysed in constructive type theory	11
Founded semantics and constraint semantics of logic rules	10
Complexity of finite-variable fragments of products with K	10
Labelled calculi for quantified modal logics with definite descriptions	9
An efficient reasoning method on logic programming using partial evaluation in vector spaces	8
Abstract argumentation and the rational man	8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic	8
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	8
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Handling inconsistency in partially preordered ontologies: the Elect method	7
Arg2P: an argumentation framework for explainable intelligent systems	6
A logic of blockchain updates	6
Ordered models for concept representation	6
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	6
Complexity of finite-variable fragments of products with non-transitive modal logics	6
On uniform belief revision	5
Fibrational bisimulations and quantitative reasoning: Extended version	5
Modal Logics and Group Polarization	5
Relating structure and power: Comonadic semantics for computational resources	5
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	5

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity	5
Weak relevant justification logics	4
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	4
Negation as a modality in a quantified setting	4
Notes on conjunctive and Quasi degrees	4
Logics of formal inconsistency based on distributive involutive residuated lattices	4
Markov chain model representation of information diffusion in social networks	4
Modular non-deterministic semantics for T, TB, S4, S5 and more	4
Multi-dimensional Interpretations of Presburger Arithmetic in Itself	4
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions	4
Epistemic extensions of substructural inquisitive logics	4
On the computational properties of basic mathematical notions	4
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics	4
A study of possible-worlds semantics of relevance-sensitive belief revision	4
Observing interventions: a logic for thinking about experiments	4
Space and time complexity for infinite time Turing machines	4
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	3
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	3
First-order swap structures semantics for some logics of formal inconsistency	3
Change in social networks: Some dynamic extensions of Social Epistemic Logic	3
On the correspondence between nested calculi and semantic systems for intuitionistic logics	3
Knowledge of uncertain worlds: programming with logical constraints	3
Commutative action logic	3
Consistency and permission in deontic justification logic	3
Modelling Ceteris Paribus Preferences with Deontic Logic	3
Rational coordination with no communication or conventions	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
A unified logical framework for explanations in classifier systems	3
Semantic data management in P2P systems driven by self-esteem	3
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus	3
Densely computable structures	3
Cut-free sequent-style systems for a logic associated to involutive Stone algebras	2
The generalized orthomodularity property: configurations and pastings	2
Feedback hyperjump	2
Logics for reasoning about degrees of confirmation	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
On the Turing complexity of learning finite families of algebraic structures	2
A computationally grounded logic of awareness	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
Group belief	2
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic	2
The polyhedral geometry of Wajsberg hoops	2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2
Countably many sublogics of the interpretability logicILhaving fixed point properties	2
Decompositions of stratified institutions	2
Computability of glued manifolds	2
A logic-based tractable approximation of probability	2
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs	2

Extensional realizability for intuitionistic set theory	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	2
Basic modal congruent and monotonic multilattice logics	2
Containment logics: Algebraic Counterparts and Reduced Models	2
Limitations of the invertible-map equivalences	2
Reasoning about strategic voting in modal logic quickly becomes undecidable	2
Modelling efficient team structures in biology	2
An ASP-based solver for parametrized-difference revision	2
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2
Hybrid sabotage modal logic	2
Modular orders on defaults in formal argumentation	2
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	2
There are no minimal essentially undecidable theories	2
Projective classes as images of accessible functors	2
Recursive rules with aggregation: a simple unified semantics	2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints	2
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
A parameterized view on the complexity of dependence and independence logic	2
Dialectica logical principles: not only rules	2