Journal of Logic and Computation

Article	Citations
Declarative continuous reasoning in the cloud-IoT continuum	17
Open sets in computability theory and reverse mathematics	16
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis	13
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
Labelled calculi for quantified modal logics with definite descriptions	10
An efficient reasoning method on logic programming using partial evaluation in vector spaces	10
Founded semantics and constraint semantics of logic rules	10
Complexity of finite-variable fragments of products withK	10
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	8
Relating structure and power: Comonadic semantics for computational resources	8
Abstract argumentation and the rational man	8
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic	8
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
Fibrational bisimulations and quantitative reasoning: Extended version	7
Handling inconsistency in partially preordered ontologies: the Elect method	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
On uniform belief revision	6
Arg2P: an argumentation framework for explainable intelligent systems	6
Modal Logics and Group Polarization	6
Complexity of finite-variable fragments of products with non-transitive modal logics	6
A logic of blockchain updates	6
Modular non-deterministic semantics for T, TB, S4, S5 and more	5
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	5

Markov chain model representation of information diffusion in social networks	5
On the correspondence between nested calculi and semantic systems for intuitionistic logics	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
Weak relevant justification logics	5
On the Turing complexity of learning finite families of algebraic structures	4
Steps and traces	4
Efficient compliance checking of RDF data	4
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions	4
Epistemic extensions of substructural inquisitive logics	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
Observing interventions: a logic for thinking about experiments	4
The polyhedral geometry of Wajsberg hoops	4
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	4
Modelling Ceteris Paribus Preferences with Deontic Logic	4
Negation as a modality in a quantified setting	4
Multi-dimensional Interpretations of Presburger Arithmetic in Itself	4
Notes on conjunctive and Quasi degrees	4
Knowledge of uncertain worlds: programming with logical constraints	3
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	3
Extensional realizability for intuitionistic set theory	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
A unified logical framework for explanations in classifier systems	3
Countably many sublogics of the interpretability logicILhaving fixed point properties	3
Commutative action logic	3
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	3
Limitations of the invertible-map equivalences	3
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus	3
Feedback hyperjump	3
Densely computable structures	3
Semantic data management in P2P systems driven by self-esteem	3
Consistency and permission in deontic justification logic	3
Computational Errors and Suspension in a PWK Epistemic Agent	3
A fully labelled proof system for intuitionistic modal logics	3
Cut-free sequent-style systems for a logic associated to involutive Stone algebras	2
How to leverage intelligent agents and complex event processing to improve patient monitoring	2
There are no minimal essentially undecidable theories	2
Opinion diffusion and campaigning on society graphs	2
A logic-based tractable approximation of probability	2
Basic modal congruent and monotonic multilattice logics	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	2
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
A computationally grounded logic of awareness	2
Relevant epistemic logic with public announcements and common knowledge	2
An ASP-based solver for parametrized-difference revision	2
Reasoning about strategic voting in modal logic quickly becomes undecidable	2
NNIL-formulas revisited: Universal models and finite model property	2

Modelling efficient team structures in biology	2
Decompositions of stratified institutions	2
Group belief	2
Modular orders on defaults in formal argumentation	2
Computability of glued manifolds	2
Projective classes as images of accessible functors	2
Parameterized complexity of abduction in Schaefer’s framework	2
Containment logics: Algebraic Counterparts and Reduced Models	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas	2
Topological semantics of conservativity and interpretability logics	2
Hybrid sabotage modal logic	2
A study of continuous vector representations for theorem proving	2
Dialectica logical principles: not only rules	2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	2
Scheduling pre-operative assessment clinic with answer set programming	2
Constructive truth and falsity in Peano arithmetic	2
Logics for reasoning about degrees of confirmation	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks	2
Temporal logic for social networks	2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints	2
Recursive rules with aggregation: a simple unified semantics	2
From belief to trust: A quantitative framework based on modal logic	2
Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic	2
A parameterized view on the complexity of dependence and independence logic	2
Ambiguity and context learning in signalling games	2
Justification awareness	1
Timed concurrent language for argumentation with maximum parallelism	1
Fixed point theorems for minimal numberings	1
Master Surgical Scheduling via Answer Set Programming	1
Soundness and completeness results for LEA and probability semantics	1
Polyteam semantics	1
A formalization of abstract argumentation in higher-order logic	1
An abstract form of the first epsilon theorem	1
On the strongest three-valued paraconsistent logic contained in classical logic and its dual	1
Frame definability, canonicity and cut elimination in common sense modal predicate logics	1
Tractable depth-bounded approximations to FDE and its satellites	1
Type inhabitation of atomic polymorphism is undecidable	1
Unfriendly partitions when avoiding vertices of finite degree	1
Ensuring trustworthy and ethical behaviour in intelligent logical agents	1
Effective inseparability and some applications in meta-mathematics	1
The Expressivity of Quantified Group Announcements	1
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	1
A sequent calculus for first-order logic formalized in Isabelle/HOL	1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	1
A comprehensive account of the burden of persuasion in abstract argumentation	1
Modeling legal conflict resolution based on dynamic logic	1
Computational properties of finite PNmatrices	1
Herbrand Proofs and Expansion Proofs as Decomposed Proofs	1
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	1
On subreducts of subresiduated lattices and some related logics	1
On probabilistic argumentation and subargument-completeness	1
Sahlqvist correspondence theory for second-order propositional modal logic	1
Interpolation for intermediate logics via injective nested sequents	1
Parameterized Complexity of Dynamic Belief Updates: A Complete Map	1
Internal proof calculi for modal logics with separating conjunction	1
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers	1
Semirings of Evidence	1
On the modeling and verification of the spread of fake news, algebraically	1
No false grounds and topology of argumentation	1
Incrementally predictive runtime verification	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Epistemic predicates in the arithmetical context	1
Generic logical encoding for argumentation	1
Algorithmic correspondence and canonicity for possibility semantics	1
A policy-aware epistemic framework for social networks	1
Computational paths - a weak groupoid	1
Topologies on residuated lattices	1
A strongly complete axiomatization of intuitionistic temporal logic	1
Belief contraction and erasure in fragments of propositional logic	1
Operator algebras with hyperarithmetic theory	1
Games of influence	1
A logic of interactive proofs	1
Permissive and regulative norms in deontic logic	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Maximality of bi-intuitionistic propositional logic	1
Interpolating between the Jaccard distance and an analogue of the normalized information distance	1

Labelled cyclic proofs for separation logic	1
On sharp and single-conclusion justification models	1
Classical term-modal logics	1
☐ and ◇ in eight-valued non-deterministic semantics for modal logics	1
Fraïssé–Hintikka theorem in institutions	1
About the characterization of a fine line that separates generalizations and boundary-case exceptions for the Second Incompleteness Theorem under semantic tableau deduction	1
Strictly join irreducible varieties of residuated lattices	1
Almost APAL	1
Finitism, imperative programs and primitive recursion	1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	1
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	1
On all pure three-valued logics	1
Constructive and mechanised meta-theory of IEL and similar modal logics	1
A recursion theoretic foundation of computation over real numbers	1
Modelling supra-classical logic in a Boltzmann neural network: I representation	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	0
Arithmetical and Hyperarithmetical Worm Battles	0
Computing minimal unsatisfiable core for LTL over finite traces	0
The umbilical cord of finite model theory	0
Adding abductive reasoning to a propositional logic	0
Notions of Cauchyness and metastability	0
Carmo and Jones’ logic for contrary-to-duty obligations revised	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Non-distributive positive logic as a fragment of first-order logic over semilattices	0
Editorial DEON 2020/2021 Special Issue	0
Extending dynamic logic with refinements of abstract actions	0
Experience and prediction: a metric of hardness for a novel litmus test	0
What do ultraproducts remember about the original structures?	0
Probability logic: A model-theoretic perspective	0
On the behaviour of coalgebras with side effects and algebras with effectful iteration	0
Preface of the special issue‘Logic, argumentation and AI’ in JLC	0
A formal, diagrammatic, and operational study of normative relations	0
Preface	0
A Talmudic norms approach to many-valued logic	0
The XAI system for answer set programming xASP2	0
Correction to: Arithmetical and Hyperarithmetical Worm Battles	0
Changing the logic without changing the subject: the case of computability	0
Advancing Logic in AI: insights from the LNGAI 2021 Workshop	0
Correction to: Conjunctive degrees and cylinders	0
Numeral completeness of weak theories of arithmetic	0
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	0
An algebraic analysis of implication in non-distributive logics	0
Modeling dynamics of legal relations with dynamic logic	0
PubHubs identity management	0
Dual counterpart intuitionistic logic	0
Game equivalence and expressive power of game description languages: a bisimulation approach	0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	0
Justification logic and type theory as formalizations of intuitionistic propositional logic	0
Pattern connectives	0
Lindström’s theorem, both syntax and semantics free	0
Preface	0
Some completeness results in derivational modal logic	0
On embedding Lambek calculus into commutative categorial grammars	0
Gödelian sentences, Rosserian sentences and truth	0
Completeness in partial type theory	0
On the expressive power of Łukasiewicz square operator	0
Correction to: Opinion diffusion and campaigning on society graphs	0
Read-once refutations in Horn constraint systems: an algorithmic approach	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
Resolving the Cohenian paradox in judicial probability theory	0
Complexity of injection structures induced by finite state transducers	0
A fuzzy structure processing mechanism for graph grammar	0
Serial properties, selector proofs and the provability of consistency	0
Dynamic superiorities in Defeasible Logic	0
Computably enumerable equivalence relations via primitive recursive reductions	0
Conjunctive degrees and cylinders	0
Towards determinism in PDL: relations and proof theory	0
Correction to: Argumentation Frameworks with Attack Classification	0
Paracomplete truth theory with KFS-definable determinateness	0
Classifying all transducer degrees below N3	0
A new perspective on completeness and finitist consistency	0
Strict computability models over categories and presheaves	0
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	0
A logic for biassed information diffusion by paranoid agents in social networks	0
A parametrized axiomatization for a large number of restricted second-order logics	0
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	0
One-dimensional fragment over words and trees	0
On computable aspects of algebraic and definable closure	0
Strategic coalitions in stochastic games	0
Congruence filter pairs, equational filter pairs and adjoints	0
Reasoning in social settings	0
3coSoKu and its declarative modeling	0
ℋ-Colouring Dichotomy in Proof Complexity	0
The extended predicative Mahlo universe in Martin-Löf type theory	0
Preface: Special Issue on Logic and Argumentation	0
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Notions of indifference for genericity: Union sets and subsequence sets	0
Modalities combining two negations	0
Deductive databases in four-valued logic: rule semantics and models	0
Polyatomic logics and generalized Blok–Esakia theory	0
Perfect proofs at first order	0
An encoding of abstract dialectical frameworks into higher-order logic	0
Tracking computability of GPAC-generable functions	0
Modal algebra of multirelations	0
Editorial	0