Journal of Logic and Computation

Article	Citations
Declarative continuous reasoning in the cloud-IoT continuum	15
Open sets in computability theory and reverse mathematics	15
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages	14
Completeness theorems for first-order logic analysed in constructive type theory	12
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
Founded semantics and constraint semantics of logic rules	10
Complexity of finite-variable fragments of products with K	10
An efficient reasoning method on logic programming using partial evaluation in vector spaces	9
Labelled calculi for quantified modal logics with definite descriptions	9
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
Abstract argumentation and the rational man	8
Handling inconsistency in partially preordered ontologies: the Elect method	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
Relating structure and power: Comonadic semantics for computational resources	7
Arg2P: an argumentation framework for explainable intelligent systems	6
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	6
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics	6
Ordered models for concept representation	6
A logic of blockchain updates	6
Fibrational bisimulations and quantitative reasoning: Extended version	6
Complexity of finite-variable fragments of products with non-transitive modal logics	6
On the computational properties of basic mathematical notions	5
On uniform belief revision	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
Logics of formal inconsistency based on distributive involutive residuated lattices	5
Modular non-deterministic semantics for T, TB, S4, S5 and more	5
Modal Logics and Group Polarization	5
Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions	4
Weak relevant justification logics	4
Multi-dimensional Interpretations of Presburger Arithmetic in Itself	4
Notes on conjunctive and Quasi degrees	4
Satisfiability of constrained Horn clauses on algebraic data types: A transformation-based approach	4
Observing interventions: a logic for thinking about experiments	4
Epistemic extensions of substructural inquisitive logics	4
Markov chain model representation of information diffusion in social networks	4
Negation as a modality in a quantified setting	4
A unified logical framework for explanations in classifier systems	3
Knowledge of uncertain worlds: programming with logical constraints	3
Semantic data management in P2P systems driven by self-esteem	3
Extensional realizability for intuitionistic set theory	3
Consistency and permission in deontic justification logic	3
Limitations of the invertible-map equivalences	3
Dualities and algebraic geometry of Baire functions in non-classical logic	3
Feedback hyperjump	3
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	3
Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
Modelling Ceteris Paribus Preferences with Deontic Logic	3
Rational coordination with no communication or conventions	3
Kripke-style Semantics and Completeness for Full Simply Typed Lambda Calculus	3
Densely computable structures	3
Commutative action logic	3
On the Turing complexity of learning finite families of algebraic structures	3
Change in social networks: Some dynamic extensions of Social Epistemic Logic	3
Convergence, continuity, recurrence and Turing completeness in dynamic epistemic logic1	3
On the correspondence between nested calculi and semantic systems for intuitionistic logics	3
Reasoning about strategic voting in modal logic quickly becomes undecidable	2
Ambiguity and context learning in signalling games	2
Hybrid sabotage modal logic	2
Decompositions of stratified institutions	2
Modular orders on defaults in formal argumentation	2
Computability of glued manifolds	2
Projective classes as images of accessible functors	2
Recursive rules with aggregation: a simple unified semantics	2
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	2
Temporal logic for social networks	2
Group belief	2
Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic	2
Countably many sublogics of the interpretability logicILhaving fixed point properties	2
A study of continuous vector representations for theorem proving	2
Dialectica logical principles: not only rules	2
Modelling efficient team structures in biology	2

Complexity function and complexity of validity of modal and superintuitionistic propositional logics	2
There are no minimal essentially undecidable theories	2
Decomposition approaches for scheduling chronic outpatients’ clinical pathways in Answer Set Programming	2
A logic-based tractable approximation of probability	2
Containment logics: Algebraic Counterparts and Reduced Models	2
Steps and traces	2
Guaranteeing Admissibility of Abstract Argumentation Frameworks with Rationality and Feasibility Constraints	2
Basic modal congruent and monotonic multilattice logics	2
A fully labelled proof system for intuitionistic modal logics	2
The polyhedral geometry of Wajsberg hoops	2
An ASP-based solver for parametrized-difference revision	2
A parameterized view on the complexity of dependence and independence logic	2
Computational Errors and Suspension in a PWK Epistemic Agent	2
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	2
Probabilities of first-order sentences on sparse random relational structures: An application to definability on random CNF formulas	2
Logics for reasoning about degrees of confirmation	2
Qualitative uncertainty and dynamics of argumentation through dynamic logic	2
Locally constant constructive functions and connectedness of intervals	2
Parameterized complexity of abduction in Schaefer’s framework	2
Handling support cycles and collective interactions in the logical encoding of higher-order bipolar argumentation frameworks	2
Intuitionistic multi-agent subatomic natural deduction for belief and knowledge	2
A computationally grounded logic of awareness	2
EGG+: A graph grammar formalism with uncertain structure processing mechanism	2
Cut-free sequent-style systems for a logic associated to involutive Stone algebras	2
Efficient compliance checking of RDF data	2
Fraïssé–Hintikka theorem in institutions	1
On the modeling and verification of the spread of fake news, algebraically	1
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	1
Incrementally predictive runtime verification	1
Topological semantics of conservativity and interpretability logics	1
From belief to trust: A quantitative framework based on modal logic	1
Relevant epistemic logic with public announcements and common knowledge	1
Epistemic predicates in the arithmetical context	1
Fixed point theorems for minimal numberings	1
On all pure three-valued logics	1
Modelling supra-classical logic in a Boltzmann neural network: I representation	1
Operator algebras with hyperarithmetic theory	1
Constructive truth and falsity in Peano arithmetic	1
A formalization of abstract argumentation in higher-order logic	1
Interpolating between the Jaccard distance and an analogue of the normalized information distance	1
Interpolation for intermediate logics via injective nested sequents	1
Polyteam semantics	1
On the strongest three-valued paraconsistent logic contained in classical logic and its dual	1
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	1
Unfriendly partitions when avoiding vertices of finite degree	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
No false grounds and topology of argumentation	1
Modeling legal conflict resolution based on dynamic logic	1
A sequent calculus for first-order logic formalized in Isabelle/HOL	1
Computational properties of finite PNmatrices	1
Ensuring trustworthy and ethical behaviour in intelligent logical agents	1
Belief contraction and erasure in fragments of propositional logic	1
The Expressivity of Quantified Group Announcements	1
Topologies on residuated lattices	1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	1
A comprehensive account of the burden of persuasion in abstract argumentation	1
A logic of interactive proofs	1
Herbrand Proofs and Expansion Proofs as Decomposed Proofs	1
Justification awareness	1
Sahlqvist correspondence theory for second-order propositional modal logic	1
Labelled cyclic proofs for separation logic	1
Copying safety and liveness properties of computational artefacts	1
Maximality of bi-intuitionistic propositional logic	1
Parameterized Complexity of Dynamic Belief Updates: A Complete Map	1
Semirings of Evidence	1
Three faces of recursion axioms: the case of constructive dynamic logic of relation changers	1
Tractable depth-bounded approximations to FDE and its satellites	1
Frame definability, canonicity and cut elimination in common sense modal predicate logics	1
Generic logical encoding for argumentation	1
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	1
Type inhabitation of atomic polymorphism is undecidable	1
Constructive and mechanised meta-theory of IEL and similar modal logics	1
Almost APAL	1
A recursion theoretic foundation of computation over real numbers	1
Algorithmic correspondence and canonicity for possibility semantics	1
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	1
Computational paths - a weak groupoid	1
A strongly complete axiomatization of intuitionistic temporal logic	1
On probabilistic argumentation and subargument-completeness	1
Scheduling pre-operative assessment clinic with answer set programming	1

Opinion diffusion and campaigning on society graphs	1
Permissive and regulative norms in deontic logic	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Internal proof calculi for modal logics with separating conjunction	1
An abstract form of the first epsilon theorem	1
Classical term-modal logics	1
On sharp and single-conclusion justification models	1
Effective inseparability and some applications in meta-mathematics	1
Towards determinism in PDL: relations and proof theory	0
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	0
Tracking computability of GPAC-generable functions	0
Correction to: Opinion diffusion and campaigning on society graphs	0
A policy-aware epistemic framework for social networks	0
Modalities combining two negations	0
Conjunctive degrees and cylinders	0
Correction to: Arithmetical and Hyperarithmetical Worm Battles	0
Preface	0
One-dimensional fragment over words and trees	0
Temporal logics for compartmental models	0
Strategic coalitions in stochastic games	0
An encoding of abstract dialectical frameworks into higher-order logic	0
Justification logic and type theory as formalizations of intuitionistic propositional logic	0
Bounded model checking distributed temporal logic	0
Computably enumerable equivalence relations via primitive recursive reductions	0
Notions of Cauchyness and metastability	0
3coSoKu and its declarative modeling	0
Deductive databases in four-valued logic: rule semantics and models	0
Probability logic: A model-theoretic perspective	0
Preface of the special issue‘Logic, argumentation and AI’ in JLC	0
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
The extended predicative Mahlo universe in Martin-Löf type theory	0
Prime spectrums of EQ-algebras	0
NNIL-formulas revisited: Universal models and finite model property	0
Advancing Logic in AI: insights from the LNGAI 2021 Workshop	0
Changing the logic without changing the subject: the case of computability	0
Non-distributive positive logic as a fragment of first-order logic over semilattices	0
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	0
Adding abductive reasoning to a propositional logic	0
Modeling dynamics of legal relations with dynamic logic	0
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Carmo and Jones’ logic for contrary-to-duty obligations revised	0
Arithmetical and Hyperarithmetical Worm Battles	0
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	0
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	0
Preface	0
Game equivalence and expressive power of game description languages: a bisimulation approach	0
A new perspective on completeness and finitist consistency	0
Ideal related algebras and their logics	0
Experience and prediction: a metric of hardness for a novel litmus test	0
Resolving the Cohenian paradox in judicial probability theory	0
Correction to: Conjunctive degrees and cylinders	0
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	0
On embedding Lambek calculus into commutative categorial grammars	0
Classifying all transducer degrees below N3	0
On the behaviour of coalgebras with side effects and algebras with effectful iteration	0
Rescheduling rehabilitation sessions with answer set programming	0
A Talmudic norms approach to many-valued logic	0
On the expressive power of Łukasiewicz square operator	0
Collective argumentation with topological restrictions: the case of aggregating abstract argumentation frameworks	0
A formal, diagrammatic, and operational study of normative relations	0
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	0
Editorial DEON 2020/2021 Special Issue	0
Numeral completeness of weak theories of arithmetic	0
PubHubs identity management	0
Strict computability models over categories and presheaves	0
Gödelian sentences, Rosserian sentences and truth	0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	0
The umbilical cord of finite model theory	0
A logic for biassed information diffusion by paranoid agents in social networks	0
Polyatomic logics and generalized Blok–Esakia theory	0
A parametrized axiomatization for a large number of restricted second-order logics	0
Pattern connectives	0
Preface: Special Issue on Logic and Argumentation	0
Lindström’s theorem, both syntax and semantics free	0
Extending dynamic logic with refinements of abstract actions	0
Finitism, imperative programs and primitive recursion	0
On Scott’s semantics for many-valued logic	0
A fuzzy structure processing mechanism for graph grammar	0
Reflexive combinatory algebras	0
Computing minimal unsatisfiable core for LTL over finite traces	0
Editorial	0
Paracomplete truth theory with KFS-definable determinateness	0
ℋ-Colouring Dichotomy in Proof Complexity	0
Reasoning in social settings	0
Correction to: Argumentation Frameworks with Attack Classification	0
A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem	0
Read-once refutations in Horn constraint systems: an algorithmic approach	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
Complexity of injection structures induced by finite state transducers	0
Notions of indifference for genericity: Union sets and subsequence sets	0
Dual counterpart intuitionistic logic	0
Modal algebra of multirelations	0
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	0
An algebraic analysis of implication in non-distributive logics	0