Journal of Logic and Computation

Article	Citations
Arithmetical and Hyperarithmetical Worm Battles	22
The XAI system for answer set programming xASP2	9
3coSoKu and its declarative modeling	9
Game equivalence and expressive power of game description languages: a bisimulation approach	8
Fixed point theorems for minimal numberings	7
Correction to: Opinion diffusion and campaigning on society graphs	7
A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps	7
A logical characterization of constant-depth circuits over the reals	7
Resolving the Cohenian paradox in judicial probability theory	7
Dynamic superiorities in Defeasible Logic	6
Dual counterpart intuitionistic logic	6
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	6
Logics for contact and measure	6
Adding abductive reasoning to a propositional logic	6
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	6
Numeral completeness of weak theories of arithmetic	6
On embedding Lambek calculus into commutative categorial grammars	6
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Towards determinism in PDL: relations and proof theory	5
Normalization and cut-elimination theorems for some logics of evidence and truth	5
Serial properties, selector proofs and the provability of consistency	5
Formalized soundness and completeness of epistemic and public announcement logic	4
Unfriendly partitions when avoiding vertices of finite degree	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4

Congruence filter pairs, equational filter pairs and adjoints	4
On Rosser theories	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
The flattening operator in team-based logics	4
Gates and circuits via Dunn semantics	4
Complexity of injection structures induced by finite state transducers	4
Weak Belnapian modal logic	3
Basic modal congruent and monotonic multilattice logics	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
A formalization of abstract argumentation in higher-order logic	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	3
The logics for the complexity classes with limited non-determinism	3
Permissive and regulative norms in deontic logic	3
Argumentation Frameworks with Attack Classification	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Estimating event probabilities via signal temporal logic and first occurrence distributions	3
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	3
Modular orders on defaults in formal argumentation	3
Projective unification in weakly transitive and weakly symmetric modal logics	3
A typed lambda-calculus with first-class configurations	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
On the weak completeness of a fragment of linear temporal logic	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Principles of logics for plausible reasoning	2
The adjacent fragment and Quine’s limits of decision	2
Uncertainty-based knowing how logic	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Ensuring trustworthy and ethical behaviour in intelligent logical agents	2
Lindström’s theorem, both syntax and semantics free	2
Integrating individual preferences into collective argumentation	2
A logic for biassed information diffusion by paranoid agents in social networks	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Relational models for the Lambek calculus with local contraction subexponentials	2
Normal functions and maximal order types	2
Correction to: Conjunctive degrees and cylinders	2
Opinion diffusion and campaigning on society graphs	2
Awareness logic: Kripke lattices as a middle ground between syntactic and semantic models	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
Stochastic sharing calculus for reasoning about social networks	2
Hybrid sabotage modal logic	2
A fuzzy structure processing mechanism for graph grammar	2
Observing interventions: a logic for thinking about experiments	2
Pattern connectives	2
Topologies on residuated lattices	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Gödelian sentences, Rosserian sentences and truth	2
A new perspective on completeness and finitist consistency	2

Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
On sheaves on semicartesian quantales and their truth values	2
Incrementally predictive runtime verification	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Polyatomic logics and generalized Blok–Esakia theory	2
A calculus for modal compact Hausdorff spaces	2
A Representation of Lawson compact L-domains by information systems	2
A Stone-type duality for semilattices with adjunctions	1
Implicit commitment in a general setting	1
A unified logical framework for explanations in classifier systems	1
Noetherian Gödel logics	1
Tense logics based on posets	1
Timed concurrent language for argumentation with maximum parallelism	1
Semantic data management in P2P systems driven by self-esteem	1
Evaluative presentations	1
Probabilistic consequence relations	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Computing most general unifiers in Euclidean modal logics	1
Efficient compliance checking of RDF data	1
On the plurality of graphs	1
Modal algebra of multirelations	1
Modal structures in groups and vector spaces	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Intuitionistic S4 as a logic of topological spaces	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Classical computation over quantum architectures	1
Proof Complexity for the Maximum Satisfiability Problem and its Use in SAT Refutations	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
Modeling dynamics of legal relations with dynamic logic	1
On subreducts of subresiduated lattices and some related logics	1
Defining logical systems via algebraic constraints on proofs	1
A categorical analysis of compatibility frames	1
A logical framework to model software development by multiple agents following a common specification	1
Rely more or less, for better or for worse: Intertwining reliability and preferences	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
Declarative continuous reasoning in the cloud-IoT continuum	1
Reflexive combinatory algebras	1
Modal weak Kleene logics: axiomatizations and relational semantics	1
Computational properties of finite PNmatrices	1
Scheduling pre-operative assessment clinic with answer set programming	1
A Labelling Semantics and Strong Admissibility for Weighted Argumentation Frameworks	1
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	1
Semitopology: a topological approach to decentralized collaborative action	1
Characterizations of two basic hybrid logics	1
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy	1
Bounded model checking distributed temporal logic	1
Context-based argumentation frameworks and multi-agent consensus building	1
Correction to: Argumentation Frameworks with Attack Classification	1
The Expressivity of Quantified Group Announcements	1
Explicit non-normal modal logic	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
A logic-based tractable approximation of probability	1
Preface	1
Effective inseparability and some applications in meta-mathematics	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Consistency and permission in deontic justification logic	1
Commutative action logic	1
Tailoring explanations through conversation	1
Computability of glued manifolds	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Conditionals and modals in contexts	1
Copying safety and liveness properties of computational artefacts	1
Temporal logics for compartmental models	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Fuzzy labelling semantics for quantitative argumentation	1
A formal, diagrammatic, and operational study of normative relations	0
The polyhedral geometry of Wajsberg hoops	0
Relations enumerable from positive information	0
To the logical foundations of random number generator construction	0
Computably enumerable equivalence relations via primitive recursive reductions	0
Budget-constrained coalition strategies with discounting	0
There are no minimal essentially undecidable theories	0
An ASP-based solver for parametrized-difference revision	0
(Conceptual) explanations in logic	0
Smullyan’s truth and provability	0
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)	0

Correction to: Modal weak Kleene logics: axiomatizations and relational semantics	0
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas	0
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle	0
Reconstructing a single-head formula to facilitate logical forgetting	0
Logics for at most countable first-order structures	0
Techniques for measuring the inferential strength of forgetting policies	0
Rescheduling rehabilitation sessions with answer set programming	0
Generic logical encoding for argumentation	0
Algebraic tools for default modal systems	0
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	0
Recursive rules with aggregation: a simple unified semantics	0
Attack principles in sequent-based argumentation theory	0
Master Surgical Scheduling via Answer Set Programming	0
Kettle logic in abstract argumentation	0
Completeness in partial type theory	0
From belief to trust: A quantitative framework based on modal logic	0
On the conservation results for local reflection principles	0
On the expressive power of Łukasiewicz square operator	0
Remarks on skew Hilbert algebras and weak BCK*-algebras	0
A correct-by-construction approach for development of reliable planning problems	0
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	0
Editorial	0
Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation	0
Relevant epistemic logic with public announcements and common knowledge	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Correction to: Modalities combining two negations	0
Carmo and Jones’ logic for contrary-to-duty obligations revised	0
ASPECT: Answer Set rePresentation as vEctor graphiCs in laTex	0
On infinitary Gödel logics	0
Extracting efficient exact real number computation from proofs in constructive type theory	0
Complexity of finite-variable fragments of products with non-transitive modal logics	0
Classical reasoning in the justification paradigm	0
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020)	0
Actualizing distributed knowledge in bounded groups	0
Probability and natural deduction	0
Weak relevant justification logics	0
Deontic meta-rules	0
A parameterized view on the complexity of dependence and independence logic	0
Editorial: special issue on the Australasian Logic Colloquium 2023	0
Nonconservative extensions by propositional quantifiers and modal incompleteness	0
Polytime embedding of intuitionistic modal logics into their one-variable fragments	0
A finitary outer measure logic	0
A Gödel-Dugundji-style theorem for the minimal structural logic	0
Some completeness results in derivational modal logic	0
Temporal logic for social networks	0
Parameterized complexity of dynamic belief updates: A complete map	0
On the computational properties of basic mathematical notions	0
Tractable depth-bounded approximations to FDE and its satellites	0
Analyticity with extra-logical information	0
On the modeling and verification of the spread of fake news, algebraically	0
Constructive and mechanised meta-theory of IEL and similar modal logics	0
Knowledge injection of Datalog rules via Neural Network Structuring with KINS	0
MV-frames	0
On an inferential semantics for intuitionistic sentential logic	0
Netreason: Reasoning about social networks	0
Descriptive complexity for distributed computing with circuits	0
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	0
Soundness and completeness results for LEA and probability semantics	0
Solving quantified modal logic problems by translation to classical logics	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
Extending dynamic logic with refinements of abstract actions	0
What do ultraproducts remember about the original structures?	0
The umbilical cord of finite model theory	0
Perfect proofs at first order	0
Countably many sublogics of the interpretability logicILhaving fixed point properties	0
Numerical expressive power of logical languages with cardinality comparison	0
Modelling efficient team structures in biology	0
Expanding the Leibniz Hierarchy	0
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics	0
Sustainable goal-oriented smart environments: a declarative programming approach	0
Sahlqvist correspondence theory for second-order propositional modal logic	0
Constraint propagation on GPU: A case study for the AllDifferent constraint	0
Nash meets Łukasiewicz: computing equilibria through logic	0
Extracting Herbrand systems from refutation schemata	0
Interpolating between the Jaccard distance and an analogue of the normalized information distance	0
Separability and harmony in ecumenical systems	0
Change in social networks: Some dynamic extensions of Social Epistemic Logic	0
Computational considerations on the representation of number-theoretic functions by arithmetic terms	0
Completeness of tableau calculi for two-dimensional hybrid logics	0
Modelling Ceteris Paribus Preferences with Deontic Logic	0
Herbrand analyses in geometry: A case study	0
Uniform interpolation via nested sequents and hypersequents	0
Projective relative unification through duality	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
Applying Theory to Practice	0
Bipolar Argumentation Frameworks with a dual relation between defeat and defence	0
Tame and full strict-Π11 reflection: A proof-theoretic approach	0
A Logic for Desire Based on Causal Inference	0
Logics with probabilistic team semantics and the Boolean negation	0
Erratum to: Evaluative multiple revision based on core beliefs	0
Low scattered linear orders	0
Computing minimal unsatisfiable core for LTL over finite traces	0
☐ and ◇ in eight-valued non-deterministic semantics for modal logics	0
An alternative definition of tense operators on residuated lattices	0