Journal of Logic and Computation

(The median citation count of Journal of Logic and Computation is 0. 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.)
Open sets in computability theory and reverse mathematics15
Declarative continuous reasoning in the cloud-IoT continuum15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages14
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis12
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages11
Completeness theorems for first-order logic analysed in constructive type theory11
Founded semantics and constraint semantics of logic rules10
Complexity of finite-variable fragments of products with K10
Labelled calculi for quantified modal logics with definite descriptions9
An efficient reasoning method on logic programming using partial evaluation in vector spaces8
Abstract argumentation and the rational man8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic8
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages8
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps7
Handling inconsistency in partially preordered ontologies: the Elect method7
Arg2P: an argumentation framework for explainable intelligent systems6
A logic of blockchain updates6
Ordered models for concept representation6
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic6
Complexity of finite-variable fragments of products with non-transitive modal logics6
Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity5
On uniform belief revision5
Fibrational bisimulations and quantitative reasoning: Extended version5
Modal Logics and Group Polarization5
Relating structure and power: Comonadic semantics for computational resources5
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks5
Space and time complexity for infinite time Turing machines4
Weak relevant justification logics4
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach4
Negation as a modality in a quantified setting4
Notes on conjunctive and Quasi degrees4
Logics of formal inconsistency based on distributive involutive residuated lattices4
Markov chain model representation of information diffusion in social networks4
Modular non-deterministic semantics for T, TB, S4, S5 and more4
Multi-dimensional Interpretations of Presburger Arithmetic in Itself4
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions4
Epistemic extensions of substructural inquisitive logics4
On the computational properties of basic mathematical notions4
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics4
A study of possible-worlds semantics of relevance-sensitive belief revision4
Observing interventions: a logic for thinking about experiments4
Densely computable structures3
A Principle-based Account of Self-attacking Arguments in Gradual Semantics3
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics3
First-order swap structures semantics for some logics of formal inconsistency3
Change in social networks: Some dynamic extensions of Social Epistemic Logic3
On the correspondence between nested calculi and semantic systems for intuitionistic logics3
Knowledge of uncertain worlds: programming with logical constraints3
Commutative action logic3
Consistency and permission in deontic justification logic3
Modelling Ceteris Paribus Preferences with Deontic Logic3
Rational coordination with no communication or conventions3
Dualities and algebraic geometry of Baire functions in non-classical logic3
A unified logical framework for explanations in classifier systems3
Semantic data management in P2P systems driven by self-esteem3
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic13
Reasoning about epistemic social network dynamics using dynamic term-modal logic3
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus3
Dialectica logical principles: not only rules2
Projective classes as images of accessible functors2
Cut-free sequent-style systems for a logic associated to involutive Stone algebras2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints2
The generalized orthomodularity property: configurations and pastings2
Feedback hyperjump2
Logics for reasoning about degrees of confirmation2
Qualitative uncertainty and dynamics of argumentation through dynamic logic2
On the Turing complexity of learning finite families of algebraic structures2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge2
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic2
The polyhedral geometry of Wajsberg hoops2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning2
A computationally grounded logic of awareness2
Countably many sublogics of the interpretability logicILhaving fixed point properties2
Group belief2
Decompositions of stratified institutions2
Computability of glued manifolds2
A logic-based tractable approximation of probability2
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs2
Extensional realizability for intuitionistic set theory2
Basic modal congruent and monotonic multilattice logics2
Limitations of the invertible-map equivalences2
Reasoning about strategic voting in modal logic quickly becomes undecidable2
Modelling efficient team structures in biology2
An ASP-based solver for parametrized-difference revision2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting2
Complexity function and complexity of validity of modal and superintuitionistic propositional logics2
Containment logics: Algebraic Counterparts and Reduced Models2
Hybrid sabotage modal logic2
Modular orders on defaults in formal argumentation2
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming2
There are no minimal essentially undecidable theories2
Recursive rules with aggregation: a simple unified semantics2
EGG+: A graph grammar formalism with uncertain structure processing mechanism2
A parameterized view on the complexity of dependence and independence logic2
How to leverage intelligent agents and complex event processing to improve patient monitoring1
Interpolation for intermediate logics via injective nested sequents1
A logic of interactive proofs1
Internal proof calculi for modal logics with separating conjunction1
Polyteam semantics1
Permissive and regulative norms in deontic logic1
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers1
No false grounds and topology of argumentation1
On the modeling and verification of the spread of fake news, algebraically1
Unfriendly partitions when avoiding vertices of finite degree1
Constructive truth and falsity in Peano arithmetic1
Ensuring trustworthy and ethical behaviour in intelligent logical agents1
Tractable depth-bounded approximations to FDE and its satellites1
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas1
Constructive and mechanised meta-theory of IEL and similar modal logics1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames1
Belief contraction and erasure in fragments of propositional logic1
A strongly complete axiomatization of intuitionistic temporal logic1
Efficient compliance checking of RDF data1
Sahlqvist correspondence theory for second-order propositional modal logic1
Epistemic predicates in the arithmetical context1
Topologies on residuated lattices1
Interpolating between the Jaccard distance and an analogue of the normalized information distance1
Scheduling pre-operative assessment clinic with answer set programming1
Justification awareness1
Maximality of bi-intuitionistic propositional logic1
On probabilistic argumentation and subargument-completeness1
Copying safety and liveness properties of computational artefacts1
On the strongest three-valued paraconsistent logic contained in classical logic and its dual1
Parameterized Complexity of Dynamic Belief Updates: A Complete Map1
Classical term-modal logics1
On sharp and single-conclusion justification models1
Fraïssé–Hintikka theorem in institutions1
Locally constant constructive functions and connectedness of intervals1
Effective inseparability and some applications in meta-mathematics1
A sequent calculus for first-order logic formalized in Isabelle/HOL1
Type inhabitation of atomic polymorphism is undecidable1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic1
From belief to trust: A quantitative framework based on modal logic1
Modeling legal conflict resolution based on dynamic logic1
On all pure three-valued logics1
A recursion theoretic foundation of computation over real numbers1
Computational paths - a weak groupoid1
Relevant epistemic logic with public announcements and common knowledge1
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms1
Modelling supra-classical logic in a Boltzmann neural network: I representation1
Fixed point theorems for minimal numberings1
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks1
Labelled cyclic proofs for separation logic1
Ambiguity and context learning in signalling games1
A formalization of abstract argumentation in higher-order logic1
Operator algebras with hyperarithmetic theory1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities1
Semirings of Evidence1
An abstract form of the first epsilon theorem1
Temporal logic for social networks1
Frame definability, canonicity and cut elimination in common sense modal predicate logics1
Parameterized complexity of abduction in Schaefer’s framework1
Sette’s calculus P1 and some hierarchies of paraconsistent systems1
Incrementally predictive runtime verification1
Generic logical encoding for argumentation1
Almost APAL1
Computational properties of finite PNmatrices1
The Expressivity of Quantified Group Announcements1
Topological semantics of conservativity and interpretability logics1
A comprehensive account of the burden of persuasion in abstract argumentation1
A study of continuous vector representations for theorem proving1
Individual resource games and resource redistributions1
Algorithmic correspondence and canonicity for possibility semantics1
Computational Errors and Suspension in a PWK Epistemic Agent1
Opinion diffusion and campaigning on society graphs1
A fully labelled proof system for intuitionistic modal logics1
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models1
Justification logic and type theory as formalizations of intuitionistic propositional logic0
Extending dynamic logic with refinements of abstract actions0
Experience and prediction: a metric of hardness for a novel litmus test0
On the behaviour of coalgebras with side effects and algebras with effectful iteration0
Congruence filter pairs, equational filter pairs and adjoints0
Probability logic: A model-theoretic perspective0
Preface: Special Issue on Logic and Argumentation0
ℋ-Colouring Dichotomy in Proof Complexity0
A formal, diagrammatic, and operational study of normative relations0
Prime spectrums of EQ-algebras0
Complexity of injection structures induced by finite state transducers0
Modalities combining two negations0
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence0
Correction to: Conjunctive degrees and cylinders0
Game equivalence and expressive power of game description languages: a bisimulation approach0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs0
An algebraic analysis of implication in non-distributive logics0
Strict computability models over categories and presheaves0
Modeling dynamics of legal relations with dynamic logic0
Classifying all transducer degrees below N30
Tracking computability of GPAC-generable functions0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers0
A policy-aware epistemic framework for social networks0
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic0
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics0
A new perspective on completeness and finitist consistency0
Corrigendum to: Displaying updates in logic0
Finitism, imperative programs and primitive recursion0
Paracomplete truth theory with KFS-definable determinateness0
Some completeness results in derivational modal logic0
On embedding Lambek calculus into commutative categorial grammars0
Polyatomic logics and generalized Blok–Esakia theory0
What do ultraproducts remember about the original structures?0
On the expressive power of Łukasiewicz square operator0
Preface of the special issue‘Logic, argumentation and AI’ in JLC0
A Talmudic norms approach to many-valued logic0
Notions of indifference for genericity: Union sets and subsequence sets0
Advancing Logic in AI: insights from the LNGAI 2021 Workshop0
Fuzzy bi-Gödel modal logic and its paraconsistent relatives0
Non-distributive positive logic as a fragment of first-order logic over semilattices0
Changing the logic without changing the subject: the case of computability0
On Scott’s semantics for many-valued logic0
Computing minimal unsatisfiable core for LTL over finite traces0
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets0
Notions of Cauchyness and metastability0
Adding abductive reasoning to a propositional logic0
The umbilical cord of finite model theory0
Correction to: Argumentation Frameworks with Attack Classification0
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions0
A parametrized axiomatization for a large number of restricted second-order logics0
Carmo and Jones’ logic for contrary-to-duty obligations revised0
Lindström’s theorem, both syntax and semantics free0
Correction to: Arithmetical and Hyperarithmetical Worm Battles0
A fuzzy structure processing mechanism for graph grammar0
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations0
Strategic coalitions in stochastic games0
3coSoKu and its declarative modeling0
Ideal related algebras and their logics0
Reasoning in social settings0
Arithmetical and Hyperarithmetical Worm Battles0
Completeness in partial type theory0
The extended predicative Mahlo universe in Martin-Löf type theory0
Read-once refutations in Horn constraint systems: an algorithmic approach0
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers0
NNIL-formulas revisited: Universal models and finite model property0
Computably enumerable equivalence relations via primitive recursive reductions0
An encoding of abstract dialectical frameworks into higher-order logic0
Numeral completeness of weak theories of arithmetic0
PubHubs identity management0
Resolving the Cohenian paradox in judicial probability theory0
Dual counterpart intuitionistic logic0
Gödelian sentences, Rosserian sentences and truth0
Editorial DEON 2020/2021 Special Issue0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)0
Correction to: Opinion diffusion and campaigning on society graphs0
A logic for biassed information diffusion by paranoid agents in social networks0
Conjunctive degrees and cylinders0
Pattern connectives0
One-dimensional fragment over words and trees0
On computable aspects of algebraic and definable closure0