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

Article	Citations
Declarative continuous reasoning in the cloud-IoT continuum	17
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis	14
Completeness theorems for first-order logic analysed in constructive type theory	12
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages	11
An efficient reasoning method on logic programming using partial evaluation in vector spaces	10
Labelled calculi for quantified modal logics with definite descriptions	10
Abstract argumentation and the rational man	8
Handling inconsistency in partially preordered ontologies: the Elect method	8
Relating structure and power: Comonadic semantics for computational resources	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
Fibrational bisimulations and quantitative reasoning: Extended version	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics	7
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	7
Modal Logics and Group Polarization	6
Arg2P: an argumentation framework for explainable intelligent systems	6
On the correspondence between nested calculi and semantic systems for intuitionistic logics	6
Complexity of finite-variable fragments of products with non-transitive modal logics	6
Weak relevant justification logics	5
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	5
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	5
Markov chain model representation of information diffusion in social networks	5
Modular non-deterministic semantics for T, TB, S4, S5 and more	5
On the computational properties of basic mathematical notions	5

Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity	5
Logics of formal inconsistency based on distributive involutive residuated lattices	5
The polyhedral geometry of Wajsberg hoops	4
A unified logical framework for explanations in classifier systems	4
On the Turing complexity of learning finite families of algebraic structures	4
Modelling Ceteris Paribus Preferences with Deontic Logic	4
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions	4
Epistemic extensions of substructural inquisitive logics	4
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	4
Steps and traces	4
Negation as a modality in a quantified setting	4
Notes on conjunctive and Quasi degrees	4
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	4
Change in social networks: Some dynamic extensions of Social Epistemic Logic	4
Efficient compliance checking of RDF data	4
Feedback hyperjump	3
Cut-free sequent-style systems for a logic associated to involutive Stone algebras	3
Commutative action logic	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Computational Errors and Suspension in a PWK Epistemic Agent	3
Knowledge of uncertain worlds: programming with logical constraints	3
Countably many sublogics of the interpretability logicILhaving fixed point properties	3
Semantic data management in P2P systems driven by self-esteem	3
Consistency and permission in deontic justification logic	3
Limitations of the invertible-map equivalences	3
A fully labelled proof system for intuitionistic modal logics	3
Densely computable structures	3
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	3
Extensional realizability for intuitionistic set theory	3
Observing interventions: a logic for thinking about experiments	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
Topological semantics of conservativity and interpretability logics	2
Modelling efficient team structures in biology	2
A computationally grounded logic of awareness	2
An ASP-based solver for parametrized-difference revision	2
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2
Scheduling pre-operative assessment clinic with answer set programming	2
Computability of glued manifolds	2
Basic modal congruent and monotonic multilattice logics	2
Constructive truth and falsity in Peano arithmetic	2
Temporal logic for social networks	2
Projective classes as images of accessible functors	2
Topologies on residuated lattices	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	2
A parameterized view on the complexity of dependence and independence logic	2
Dialectica logical principles: not only rules	2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2
From belief to trust: A quantitative framework based on modal logic	2
Hybrid sabotage modal logic	2
Logics for reasoning about degrees of confirmation	2

There are no minimal essentially undecidable theories	2
A logic-based tractable approximation of probability	2
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	2
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
How to leverage intelligent agents and complex event processing to improve patient monitoring	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
Containment logics: Algebraic Counterparts and Reduced Models	2
NNIL-formulas revisited: Universal models and finite model property	2
Reasoning about strategic voting in modal logic quickly becomes undecidable	2
Ambiguity and context learning in signalling games	2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
Decompositions of stratified institutions	2
Modular orders on defaults in formal argumentation	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
Recursive rules with aggregation: a simple unified semantics	2
Group belief	2
Parameterized complexity of abduction in Schaefer’s framework	2
Opinion diffusion and campaigning on society graphs	2
Relevant epistemic logic with public announcements and common knowledge	2
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks	2
A study of continuous vector representations for theorem proving	2