Journal of Logic and Computation

Article	Citations
Correction to: Opinion diffusion and campaigning on society graphs	15
Dynamic superiorities in Defeasible Logic	10
Arithmetical and Hyperarithmetical Worm Battles	10
Proof-theoretic analysis of subabelian lattice logic	8
Fixed point theorems for minimal numberings	8
A logical characterization of constant-depth circuits over the reals	7
The XAI system for answer set programming xASP2	6
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Serial properties, selector proofs and the provability of consistency	5
RETRACTED AND REPLACED: Logics for contact and measure	5
Recovery operators in quasi-Nelson logic: the prelinear case	5
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	5
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	5
Numeral completeness of weak theories of arithmetic	5
Towards determinism in PDL: relations and proof theory	5
Normalization and cut-elimination theorems for some logics of evidence and truth	5
Formalized soundness and completeness of epistemic and public announcement logic	5
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	5
Dual counterpart intuitionistic logic	5
The flattening operator in team-based logics	5
An algebraic approach to the study of monadic substructural predicate logics over FLew	5
Complexity of injection structures induced by finite state transducers	5
The logics for the complexity classes with limited non-determinism	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4

Advances in computational logic (CILC 2024)	4
Estimating event probabilities via signal temporal logic and first occurrence distributions	4
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	4
Simple dynamic logic with parallel composition and applications to planning	4
Gates and circuits via Dunn semantics	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
Weak Belnapian modal logic	4
Congruence filter pairs, equational filter pairs and adjoints	4
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	4
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Permissive and regulative norms in deontic logic	3
A formalization of abstract argumentation in higher-order logic	3
A minimal coalition logic	3
Principles of logics for plausible reasoning	3
Modal logical aspects of provability predicates and consistency statements	3
Integrating individual preferences into collective argumentation	3
Incrementally predictive runtime verification	3
Argumentation Frameworks with Attack Classification	3
A typed lambda-calculus with first-class configurations	3
A sequent calculus for first-order logic formalized in Isabelle/HOL	3
Operating room scheduling via answer set programming: Improved encoding and test on real data	3
Normal functions and maximal order types	3
Proof extraction for explanations in defeasible deontic logic	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
On sheaves on semicartesian quantales and their truth values	3
Modular orders on defaults in formal argumentation	3
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	3
Uncertainty-based knowing how logic	3
A comprehensive account of the burden of persuasion in abstract argumentation	3
Totality, determinism and functionality problems in (incomplete) abstract argumentation frameworks	2
The adjacent fragment and Quine’s limits of decision	2
An encoding of abstract dialectical frameworks into higher-order logic	2
Strategic and private reasoning with the concurrent (timed) language for argumentation	2
A Modal Axiomatization of BK	2
A minimal substitution basis for the Kalmár elementary functions	2
Implicit commitment in a general setting	2
Intuitionistic S4 as a logic of topological spaces	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
Polyatomic logics and generalized Blok–Esakia theory	2
Classical computation over quantum architectures	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2
Correction to: Conjunctive degrees and cylinders	2
A calculus for modal compact Hausdorff spaces	2
A fuzzy structure processing mechanism for graph grammar	2
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2

Computing most general unifiers in Euclidean modal logics	2
Conditionals and modals in contexts	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
A Representation of Lawson compact L-domains by information systems	2
Relational models for the Lambek calculus with local contraction subexponentials	2
A new perspective on completeness and finitist consistency	2
On the weak completeness of a fragment of linear temporal logic	2
Descriptive complexity for neural networks via Boolean networks	2
Limited-knowledge propositional announcement synthesis under Dalal revision: tight PH bounds, parameterized tractability and kernelization	2
New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic	2
Characterizations of two basic hybrid logics	2
Randomness and invariance	2
Temporal logics for compartmental models	2
Terminating hybrid tableaus for ordered models	2
Editors’ note: Special issue on combining probability and logic	1
A representation theory for modal distributive lattices	1
Modeling dynamics of legal relations with dynamic logic	1
Doubly strongly first-order dependencies	1
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)	1
On subreducts of subresiduated lattices and some related logics	1
A logical framework to model software development by multiple agents following a common specification	1
Fuzzy labelling semantics for quantitative argumentation	1
Effective inseparability and some applications in meta-mathematics	1
Context-based argumentation frameworks and multi-agent consensus building	1
Evaluative presentations	1
Modal structures in groups and vector spaces	1
Defining logical systems via algebraic constraints on proofs	1
Probabilistic consequence relations	1
Explicit non-normal modal logic	1
Timed concurrent language for argumentation with maximum parallelism	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Point-free MV-topologies	1
Copying safety and liveness properties of computational artefacts	1
Some deductive systems for content relationship logics	1
Correction to: Argumentation Frameworks with Attack Classification	1
Partial imaging and Thomason conditionals	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
A non-computable c.e. closed subset of [0,1]	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Proceedings of the XX Encontro Brasileiro de Lógica	1
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups	1
A unified logical framework for explanations in classifier systems	1
Efficient compliance checking of RDF data	1
Preface	1
Tailoring explanations through conversation	1
Scheduling pre-operative assessment clinic with answer set programming	1
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021	1
On tense bounded Hilbert algebras with supremum	1
Tense logics based on posets	1
Renovation sets and their applications in higher-order argumentation frameworks	1
Epistemic state updates in LLM agents via public announcement and graded modal logic	1
Modal algebra of multirelations	1
The provability logic of all provability predicates	1
Towards ILP-based LTLf passive learning	1
Computational properties of finite PNmatrices	1
Semitopology: a topological approach to decentralized collaborative action	1
Computational paths - a weak groupoid	1
Retraction and replacement of: Logics for contact and measure	1
Argumentation semantics based on solid admissibility and preservation of semantic properties	1
Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme	1
A domain calculus based on Heyting-valued logic	1
The Expressivity of Quantified Group Announcements	1
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs	1
A logic with probabilistic Jaccard similarity	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
Decompositions of stratified institutions	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
On orientations preserving edge-connectivity in infinite graphs	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
A categorical analysis of compatibility frames	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Generalization of filter theory of EQ-algebras based on lattices	1
Noetherian Gödel logics	1
Conditional probabilities as degrees of similarity and as degrees of entailment	1
ASP-based approaches for solving the nuclear medicine scheduling problem	1
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames	1
A Stone-type duality for semilattices with adjunctions	1
Logics of formal inconsistency and mathematical definability	1

Sustainable goal-oriented smart environments: a declarative programming approach	0
Deontic meta-rules	0
A comparison of imprecise Bayesianism and Dempster–Shafer theory for automated decisions under ambiguity	0
Tarskian theories of Krivine’s classical realizability	0
Netreason: Reasoning about social networks	0
Correction to: The mathematics of Epstein semantics	0
Completeness in partial type theory	0
Analyticity with extra-logical information	0
Did Turing prove the undecidability of the halting problem?	0
Argumentation frameworks, games and kernels: time for a family reunion!	0
Computing minimal unsatisfiable core for LTL over finite traces	0
Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	0
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs	0
Correction to: Modalities combining two negations	0
The umbilical cord of finite model theory	0
Deductive databases in four-valued logic: rule semantics and models	0
Descriptive complexity for distributed computing with circuits	0
Completeness of tableau calculi for two-dimensional hybrid logics	0
Numerical expressive power of logical languages with cardinality comparison	0
Reconstructing a single-head formula to facilitate logical forgetting	0
Kettle logic in abstract argumentation	0
Computational considerations on the representation of number-theoretic functions by arithmetic terms	0
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)	0
Solving quantified modal logic problems by translation to classical logics	0
Probability and natural deduction	0
Recursive rules with aggregation: a simple unified semantics	0
A Gödel-Dugundji-style theorem for the minimal structural logic	0
Preface	0
Soundness and completeness results for LEA and probability semantics	0
Algebraic tools for default modal systems	0
Implicative-ortholattices as orthogonality spaces	0
Analogues of Shepherdson’s Theorem for a language with exponentiation	0
Remarks on skew Hilbert algebras and weak BCK*-algebras	0
Tractable depth-bounded approximations to FDE and its satellites	0
Tame and full strict-Π11 reflection: A proof-theoretic approach	0
A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic	0
Logics for at most countable first-order structures	0
Uniform interpolation via nested sequents and hypersequents	0
AL+: Extended argumentation logic	0
What do ultraproducts remember about the original structures?	0
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	0
Smullyan’s truth and provability	0
Relevant epistemic logic with public announcements and common knowledge	0
A Logic for Desire Based on Causal Inference	0
On the computational properties of basic mathematical notions	0
On an inferential semantics for intuitionistic sentential logic	0
Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics	0
Extension-based semantics for incomplete argumentation frameworks: properties, complexity and algorithms	0
To the logical foundations of random number generator construction	0
Weak relevant justification logics	0
On quasi-reducibility for c.e. sets Part I. The structure of the Q -degrees and the sQ -degrees	0
Interpolating between the Jaccard distance and an analogue of the normalized information distance	0
Low scattered linear orders	0
Projective relative unification through duality	0
(Conceptual) explanations in logic	0
Linear logic in a refutational setting	0
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation	0
aRM -logic	0
Editorial: special issue on the Australasian Logic Colloquium 2023	0
An EXPTIME-complete entailment problem in separation logic	0
Bipolar Argumentation Frameworks with a dual relation between defeat and defence	0
There are no minimal essentially undecidable theories	0
An alternative definition of tense operators on residuated lattices	0
Herbrand analyses in geometry: A case study	0
Knowledge injection of Datalog rules via Neural Network Structuring with KINS	0
Attack principles in sequent-based argumentation theory	0
Editorial	0
Heuristic algorithms for credulous and sceptical reasoning problems in abstract argumentation	0
An algebraic extension of intuitionistic linear logic: the ????!????-calculus and its categorical model	0
The Ackermann encoding and its siblings	0
Extracting efficient exact real number computation from proofs in constructive type theory	0
Constructive and mechanised meta-theory of IEL and similar modal logics	0
On syntactic concept lattice models for the Lambek calculus and infinitary action logic	0
Relations enumerable from positive information	0
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	0
MV-frames	0
Constraint propagation on GPU: A case study for the AllDifferent constraint	0
Logics with probabilistic team semantics and the Boolean negation	0
A correct-by-construction approach for development of reliable planning problems	0
On the conservation results for local reflection principles	0
Strict-tolerant conditional logics	0
Applying Theory to Practice	0
Nonconservative extensions by propositional quantifiers and modal incompleteness	0
Belief change based on knowledge measures	0
Classical reasoning in the justification paradigm	0
Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle	0
A formal, diagrammatic, and operational study of normative relations	0
C-systems of da Costa and Aristotle’s theses	0
Master Surgical Scheduling via Answer Set Programming	0
Expanding the Leibniz Hierarchy	0
Polytime embedding of intuitionistic modal logics into their one-variable fragments	0
Techniques for measuring the inferential strength of forgetting policies	0
Rescheduling rehabilitation sessions with answer set programming	0
A finitary outer measure logic	0
☐ and ◇ in eight-valued non-deterministic semantics for modal logics	0