Journal of Logic and Computation

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
Labelled calculi for quantified modal logics with definite descriptions	10
An efficient reasoning method on logic programming using partial evaluation in vector spaces	10
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
Abstract argumentation and the rational man	8
Handling inconsistency in partially preordered ontologies: the Elect method	8
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
Fibrational bisimulations and quantitative reasoning: Extended version	7
Complexity of finite-variable fragments of products with non-transitive modal logics	6
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
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
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
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
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
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
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
There are no minimal essentially undecidable theories	2
A logic-based tractable approximation of probability	2
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
Constructive truth and falsity in Peano arithmetic	2
NNIL-formulas revisited: Universal models and finite model property	2
Projective classes as images of accessible functors	2
Reasoning about strategic voting in modal logic quickly becomes undecidable	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	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
Parameterized complexity of abduction in Schaefer’s framework	2
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	2
Relevant epistemic logic with public announcements and common knowledge	2

How to leverage intelligent agents and complex event processing to improve patient monitoring	2
A study of continuous vector representations for theorem proving	2
Containment logics: Algebraic Counterparts and Reduced Models	2
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
Temporal logic for social networks	2
Group belief	2
Topologies on residuated lattices	2
Opinion diffusion and campaigning on society graphs	2
A parameterized view on the complexity of dependence and independence logic	2
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks	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
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
Computational properties of finite PNmatrices	1
On all pure three-valued logics	1
PubHubs identity management	1
A strongly complete axiomatization of intuitionistic temporal logic	1
On probabilistic argumentation and subargument-completeness	1
Games of influence	1
Permissive and regulative norms in deontic logic	1
Maximality of bi-intuitionistic propositional logic	1
Semirings of Evidence	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Effective inseparability and some applications in meta-mathematics	1
On sharp and single-conclusion justification models	1
On the modeling and verification of the spread of fake news, algebraically	1
Generic logical encoding for argumentation	1
Ensuring trustworthy and ethical behaviour in intelligent logical agents	1
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	1
Algorithmic correspondence and canonicity for possibility semantics	1
Belief contraction and erasure in fragments of propositional logic	1
Computational paths - a weak groupoid	1
A recursion theoretic foundation of computation over real numbers	1
A comprehensive account of the burden of persuasion in abstract argumentation	1
A logic of interactive proofs	1
Timed concurrent language for argumentation with maximum parallelism	1
A formalization of abstract argumentation in higher-order logic	1
On subreducts of subresiduated lattices and some related logics	1
Internal proof calculi for modal logics with separating conjunction	1
Strictly join irreducible varieties of residuated lattices	1
Interpolating between the Jaccard distance and an analogue of the normalized information distance	1
Sahlqvist correspondence theory for second-order propositional modal logic	1
Unfriendly partitions when avoiding vertices of finite degree	1
Type inhabitation of atomic polymorphism is undecidable	1
Finitism, imperative programs and primitive recursion	1
Almost APAL	1
Constructive and mechanised meta-theory of IEL and similar modal logics	1
Incrementally predictive runtime verification	1
A policy-aware epistemic framework for social networks	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
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	1
Fixed point theorems for minimal numberings	1
Soundness and completeness results for LEA and probability semantics	1
Labelled cyclic proofs for separation logic	1
Interpolation for intermediate logics via injective nested sequents	1
On the strongest three-valued paraconsistent logic contained in classical logic and its dual	1
Master Surgical Scheduling via Answer Set Programming	1
Tractable depth-bounded approximations to FDE and its satellites	1
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers	1
Frame definability, canonicity and cut elimination in common sense modal predicate logics	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
☐ and ◇ in eight-valued non-deterministic semantics for modal logics	1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	1
Extracting efficient exact real number computation from proofs in constructive type theory	0
A logical characterization of constant-depth circuits over the reals	0
Serial properties, selector proofs and the provability of consistency	0
Polyatomic logics and generalized Blok–Esakia theory	0

Editorial DEON 2020/2021 Special Issue	0
Completeness in partial type theory	0
Advancing Logic in AI: insights from the LNGAI 2021 Workshop	0
Classifying all transducer degrees below N3	0
Temporal logics for compartmental models	0
Numeral completeness of weak theories of arithmetic	0
An encoding of abstract dialectical frameworks into higher-order logic	0
Correction to: Opinion diffusion and campaigning on society graphs	0
Bounded model checking distributed temporal logic	0
Adding abductive reasoning to a propositional logic	0
Correction to: Argumentation Frameworks with Attack Classification	0
Deductive databases in four-valued logic: rule semantics and models	0
Non-distributive positive logic as a fragment of first-order logic over semilattices	0
Resolving the Cohenian paradox in judicial probability theory	0
Attack principles in sequent-based argumentation theory	0
Experience and prediction: a metric of hardness for a novel litmus test	0
Editorial	0
Read-once refutations in Horn constraint systems: an algorithmic approach	0
Carmo and Jones’ logic for contrary-to-duty obligations revised	0
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	0
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks	0
Reasoning in social settings	0
Playwright Gerhard Gentzen	0
Perfect proofs at first order	0
Notions of indifference for genericity: Union sets and subsequence sets	0
Modeling dynamics of legal relations with dynamic logic	0
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	0
On some computational properties of open sets	0
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	0
Formalized soundness and completeness of epistemic and public announcement logic	0
The XAI system for answer set programming xASP2	0
Lindström’s theorem, both syntax and semantics free	0
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	0
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex	0
Changing the logic without changing the subject: the case of computability	0
Gödelian sentences, Rosserian sentences and truth	0
What do ultraproducts remember about the original structures?	0
Computably enumerable equivalence relations via primitive recursive reductions	0
The umbilical cord of finite model theory	0
Actualizing distributed knowledge in bounded groups	0
Dual counterpart intuitionistic logic	0
Correction to: Conjunctive degrees and cylinders	0
Preface: Special Issue on Logic and Argumentation	0
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	0
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	0
Rescheduling rehabilitation sessions with answer set programming	0
Preface	0
Modalities combining two negations	0
Extending dynamic logic with refinements of abstract actions	0
On embedding Lambek calculus into commutative categorial grammars	0
An algebraic analysis of implication in non-distributive logics	0
Bisimulation in model-changing modal logics: An algorithmic study	0
Pattern connectives	0
Arithmetical and Hyperarithmetical Worm Battles	0
Estimating event probabilities via signal temporal logic and first occurrence distributions	0
Probability logic: A model-theoretic perspective	0
A formal, diagrammatic, and operational study of normative relations	0
Computing minimal unsatisfiable core for LTL over finite traces	0
Modal algebra of multirelations	0
A parametrized axiomatization for a large number of restricted second-order logics	0
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	0
A new perspective on completeness and finitist consistency	0
Justification logic and type theory as formalizations of intuitionistic propositional logic	0
Correction to: Arithmetical and Hyperarithmetical Worm Battles	0
A fuzzy structure processing mechanism for graph grammar	0
One-dimensional fragment over words and trees	0
A note on the asymptotic expressiveness of ZF and ZFC	0
Logics for contact and measure	0
Dynamic superiorities in Defeasible Logic	0
3coSoKu and its declarative modeling	0
On computable aspects of algebraic and definable closure	0
Towards determinism in PDL: relations and proof theory	0
On the behaviour of coalgebras with side effects and algebras with effectful iteration	0
Reflexive combinatory algebras	0
Strict computability models over categories and presheaves	0
Conjunctive degrees and cylinders	0
ℋ-Colouring Dichotomy in Proof Complexity	0
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	0
Preface	0
Preface of the special issue‘Logic, argumentation and AI’ in JLC	0
Strategic coalitions in stochastic games	0
Wanted dead or alive: epistemic logic for impure simplicial complexes	0
A Talmudic norms approach to many-valued logic	0
A logic for biassed information diffusion by paranoid agents in social networks	0
Paracomplete truth theory with KFS-definable determinateness	0
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Tracking computability of GPAC-generable functions	0
Complexity of injection structures induced by finite state transducers	0
On the expressive power of Łukasiewicz square operator	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
Care-theoretic semantics	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Game equivalence and expressive power of game description languages: a bisimulation approach	0
The extended predicative Mahlo universe in Martin-Löf type theory	0