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

Article	Citations
Open sets in computability theory and reverse mathematics	15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages	14
Declarative continuous reasoning in the cloud-IoT continuum	13
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	10
Complexity of finite-variable fragments of products with K	10
Founded semantics and constraint semantics of logic rules	9
Labelled calculi for quantified modal logics with definite descriptions	8
Losing connection: the modal logic of definable link deletion	8
Abstract argumentation and the rational man	8
An efficient reasoning method on logic programming using partial evaluation in vector spaces	8
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic	8
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Handling inconsistency in partially preordered ontologies: the Elect method	7
Complexity of finite-variable fragments of products with non-transitive modal logics	6
A logic of blockchain updates	6
Ordered models for concept representation	6
Arg2P: an argumentation framework for explainable intelligent systems	6
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	6
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
On uniform belief revision	5
Modular non-deterministic semantics for T, TB, S4, S5 and more	4
Notes on conjunctive and Quasi degrees	4
Logics of formal inconsistency based on distributive involutive residuated lattices	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
Negation as a modality in a quantified setting	4
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions	4
Epistemic extensions of substructural inquisitive logics	4
Weak relevant justification logics	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
Markov chain model representation of information diffusion in social networks	4
A unified logical framework for explanations in classifier systems	3
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	3
Change in social networks: Some dynamic extensions of Social Epistemic Logic	3
First-order swap structures semantics for some logics of formal inconsistency	3
The polyhedral geometry of Wajsberg hoops	3
Rational coordination with no communication or conventions	3
Densely computable structures	3
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	3
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	3
Self-full ceers and the uniform join operator	3
Consistency and permission in deontic justification logic	3
Multi-dimensional Interpretations of Presburger Arithmetic in Itself	3
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus	3
Knowledge of uncertain worlds: programming with logical constraints	3
Semantic data management in P2P systems driven by self-esteem	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Modelling Ceteris Paribus Preferences with Deontic Logic	3
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
On the correspondence between nested calculi and semantic systems for intuitionistic logics	3
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
Containment logics: Algebraic Counterparts and Reduced Models	2
A parameterized view on the complexity of dependence and independence logic	2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2
An ASP-based solver for parametrized-difference revision	2
Hybrid sabotage modal logic	2
Decompositions of stratified institutions	2
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs	2
Modular orders on defaults in formal argumentation	2
Commutative action logic	2
A logic-based tractable approximation of probability	2
A computationally grounded logic of awareness	2
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic	2
Group belief	2
Reasoning about strategic voting in modal logic quickly becomes undecidable	2

Cut-free sequent-style systems for a logic associated to involutive Stone algebras	2
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2
Feedback hyperjump	2
There are no minimal essentially undecidable theories	2
Logics for reasoning about degrees of confirmation	2
Extensional realizability for intuitionistic set theory	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints	2
Dialectica logical principles: not only rules	2
Projective classes as images of accessible functors	2
Modelling efficient team structures in biology	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	2
Countably many sublogics of the interpretability logicILhaving fixed point properties	2
The generalized orthomodularity property: configurations and pastings	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
Computability of glued manifolds	2
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	2
On the Turing complexity of learning finite families of algebraic structures	2