Journal of Logic and Computation

Article	Citations
Preface	19
Arithmetical and Hyperarithmetical Worm Battles	8
A logical characterization of constant-depth circuits over the reals	8
Dualities and algebraic geometry of Baire functions in non-classical logic	8
The XAI system for answer set programming xASP2	8
3coSoKu and its declarative modeling	8
Correction to: Opinion diffusion and campaigning on society graphs	7
Dynamic superiorities in Defeasible Logic	7
Resolving the Cohenian paradox in judicial probability theory	7
Game equivalence and expressive power of game description languages: a bisimulation approach	7
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	6
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
Fixed point theorems for minimal numberings	6
On embedding Lambek calculus into commutative categorial grammars	5
Dual counterpart intuitionistic logic	5
Formalized soundness and completeness of epistemic and public announcement logic	5
Adding abductive reasoning to a propositional logic	5
Serial properties, selector proofs and the provability of consistency	5
Numeral completeness of weak theories of arithmetic	4
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Unfriendly partitions when avoiding vertices of finite degree	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4
Logics for contact and measure	4

Estimating event probabilities via signal temporal logic and first occurrence distributions	4
Weak Belnapian modal logic	4
Towards determinism in PDL: relations and proof theory	4
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
Complexity of injection structures induced by finite state transducers	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
A typed lambda-calculus with first-class configurations	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Permissive and regulative norms in deontic logic	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
Basic modal congruent and monotonic multilattice logics	3
Congruence filter pairs, equational filter pairs and adjoints	3
Modular orders on defaults in formal argumentation	3
A formalization of abstract argumentation in higher-order logic	3
Strictly join irreducible varieties of residuated lattices	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
On Rosser theories	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Principles of logics for plausible reasoning	2
Integrating individual preferences into collective argumentation	2
Modelling supra-classical logic in a Boltzmann neural network: I representation	2
Argumentation Frameworks with Attack Classification	2
Uncertainty-based knowing how logic	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Polyatomic logics and generalized Blok–Esakia theory	2
A new perspective on completeness and finitist consistency	2
Gödelian sentences, Rosserian sentences and truth	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Hybrid sabotage modal logic	2
Stochastic sharing calculus for reasoning about social networks	2
Normal functions and maximal order types	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
Correction to: Conjunctive degrees and cylinders	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Lindström’s theorem, both syntax and semantics free	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Projective unification in weakly transitive and weakly symmetric modal logics	2
Incrementally predictive runtime verification	2
On sheaves on semicartesian quantales and their truth values	2
Opinion diffusion and campaigning on society graphs	2
A fuzzy structure processing mechanism for graph grammar	2
On probabilistic argumentation and subargument-completeness	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
On the Turing complexity of learning finite families of algebraic structures	1

Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Classical computation over quantum architectures	1
Preface	1
Strategic coalitions in stochastic games	1
Preface of the special issue‘Logic, argumentation and AI’ in JLC	1
A calculus for modal compact Hausdorff spaces	1
Non-distributive positive logic as a fragment of first-order logic over semilattices	1
Commutative action logic	1
Copying safety and liveness properties of computational artefacts	1
Modeling dynamics of legal relations with dynamic logic	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
On the plurality of graphs	1
A unified logical framework for explanations in classifier systems	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
Modal structures in groups and vector spaces	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Computability of glued manifolds	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Semantic data management in P2P systems driven by self-esteem	1
The Expressivity of Quantified Group Announcements	1
A note on the asymptotic expressiveness of ZF and ZFC	1
Intuitionistic S4 as a logic of topological spaces	1
Topologies on residuated lattices	1
Pattern connectives	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Implicit commitment in a general setting	1
Analog reducibility	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Correction to: Argumentation Frameworks with Attack Classification	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Tense logics based on posets	1
A Stone-type duality for semilattices with adjunctions	1
Scheduling pre-operative assessment clinic with answer set programming	1
Fuzzy labelling semantics for quantitative argumentation	1
Semitopology: a topological approach to decentralized collaborative action	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
Explicit non-normal modal logic	1
Noetherian Gödel logics	1
Bounded model checking distributed temporal logic	1
Temporal logics for compartmental models	1
A logic for biassed information diffusion by paranoid agents in social networks	1
Observing interventions: a logic for thinking about experiments	1
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Probabilistic consequence relations	1
Context-based argumentation frameworks and multi-agent consensus building	1
Computing most general unifiers in Euclidean modal logics	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
On subreducts of subresiduated lattices and some related logics	1
Neighbourhood semantics and labelled calculus for intuitionistic infinitary logic	1
Solving quantified modal logic problems by translation to classical logics	0
Change in social networks: Some dynamic extensions of Social Epistemic Logic	0
Sahlqvist correspondence theory for second-order propositional modal logic	0
Projective relative unification through duality	0
Relating structure and power: Comonadic semantics for computational resources	0
Interpolating between the Jaccard distance and an analogue of the normalized information distance	0
Kettle logic in abstract argumentation	0
Deductive databases in four-valued logic: rule semantics and models	0
A comparison of imprecise Bayesianism and Dempster–Shafer theory for automated decisions under ambiguity	0
Maximality of bi-intuitionistic propositional logic	0
Knowledge injection of Datalog rules via Neural Network Structuring with KINS	0
An alternative definition of tense operators on residuated lattices	0
Topological semantics of conservativity and interpretability logics	0
Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages	0
Netreason: Reasoning about social networks	0
Descriptive complexity for distributed computing with circuits	0
A formal, diagrammatic, and operational study of normative relations	0
Rescheduling rehabilitation sessions with answer set programming	0
There are no minimal essentially undecidable theories	0
A correct-by-construction approach for development of reliable planning problems	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Computably enumerable equivalence relations via primitive recursive reductions	0
☐ and ◇ in eight-valued non-deterministic semantics for modal logics	0
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics	0
Extracting efficient exact real number computation from proofs in constructive type theory	0

ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex	0
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	0
Countably many sublogics of the interpretability logicILhaving fixed point properties	0
Doubly strongly first-order dependencies	0
Logics for at most countable first-order structures	0
The polyhedral geometry of Wajsberg hoops	0
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)	0
Budget-constrained coalition strategies with discounting	0
Computational paths - a weak groupoid	0
Computational considerations on the representation of number-theoretic functions by arithmetic terms	0
An algebraic analysis of implication in non-distributive logics	0
Actualizing distributed knowledge in bounded groups	0
Classifying all transducer degrees below N3	0
Linear logic in a refutational setting	0
(Conceptual) explanations in logic	0
Temporal logic for social networks	0
On the computational properties of basic mathematical notions	0
Generic logical encoding for argumentation	0
Parameterized complexity of dynamic belief updates: A complete map	0
Nonconservative extensions by propositional quantifiers and modal incompleteness	0
Completeness in partial type theory	0
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas	0
On the modeling and verification of the spread of fake news, algebraically	0
To the logical foundations of random number generator construction	0
Analyticity with extra-logical information	0
On the expressive power of Łukasiewicz square operator	0
Tame and full strict-Π11 reflection: A proof-theoretic approach	0
MV-frames	0
Relevant epistemic logic with public announcements and common knowledge	0
Recursive rules with aggregation: a simple unified semantics	0
Erratum to: Evaluative multiple revision based on core beliefs	0
On the conservation results for local reflection principles	0
Carmo and Jones’ logic for contrary-to-duty obligations revised	0
Probability and natural deduction	0
Numerical expressive power of logical languages with cardinality comparison	0
Reconstructing a single-head formula to facilitate logical forgetting	0
Smullyan’s truth and provability	0
Perfect proofs at first order	0
Paracomplete truth theory with KFS-definable determinateness	0
Classical reasoning in the justification paradigm	0
An ASP approach for arteries classification in CT scans	0
Computing minimal unsatisfiable core for LTL over finite traces	0
Extracting Herbrand systems from refutation schemata	0
Expanding the Leibniz Hierarchy	0
A Logic for Desire Based on Causal Inference	0
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	0
Soundness and completeness results for LEA and probability semantics	0
On some computational properties of open sets	0
Polytime embedding of intuitionistic modal logics into their one-variable fragments	0
A reunion of Gödel, Tarski, Carnap and Rosser	0
A Gödel-Dugundji-style theorem for the minimal structural logic	0
Conjunctive degrees and cylinders	0
Some completeness results in derivational modal logic	0
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning	0
Deontic meta-rules	0
Attack principles in sequent-based argumentation theory	0
Algebraic tools for default modal systems	0
Applying Theory to Practice	0
Tractable depth-bounded approximations to FDE and its satellites	0
Master Surgical Scheduling via Answer Set Programming	0
Constraint propagation on GPU: A case study for the AllDifferent constraint	0
What do ultraproducts remember about the original structures?	0
Uniform interpolation via nested sequents and hypersequents	0
Geometry of super-Łukasiewicz logics	0
Logics with probabilistic team semantics and the Boolean negation	0
Remarks on skew Hilbert algebras and weak BCK*-algebras	0
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	0
Modelling Ceteris Paribus Preferences with Deontic Logic	0
From belief to trust: A quantitative framework based on modal logic	0
An ASP-based solver for parametrized-difference revision	0
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	0
Completeness of tableau calculi for two-dimensional hybrid logics	0
Editorial	0
Weak relevant justification logics	0
Constructive and mechanised meta-theory of IEL and similar modal logics	0
Extending dynamic logic with refinements of abstract actions	0
Bipolar Argumentation Frameworks with a dual relation between defeat and defence	0
Low scattered linear orders	0
Modelling efficient team structures in biology	0
Computational Errors and Suspension in a PWK Epistemic Agent	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
On infinitary Gödel logics	0
Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics	0
The umbilical cord of finite model theory	0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	0
Sustainable goal-oriented smart environments: a declarative programming approach	0
Correction to: Modalities combining two negations	0
Partial imaging and Thomason conditionals	0
Changing the logic without changing the subject: the case of computability	0
Logics of formal inconsistency based on distributive involutive residuated lattices	0
Nash meets Łukasiewicz: computing equilibria through logic	0
PubHubs identity management	0
The first-order theory of the computably enumerable equivalence relations in the uncountable setting	0
Complexity of finite-variable fragments of products with non-transitive modal logics	0
A finitary outer measure logic	0