Journal of Logic and Computation

Article	Citations
Game equivalence and expressive power of game description languages: a bisimulation approach	14
Correction to: Opinion diffusion and campaigning on society graphs	10
Arithmetical and Hyperarithmetical Worm Battles	9
Dynamic superiorities in Defeasible Logic	8
A logical characterization of constant-depth circuits over the reals	8
Fixed point theorems for minimal numberings	6
The XAI system for answer set programming xASP2	6
Proof-theoretic analysis of subabelian lattice logic	5
Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map	5
Numeral completeness of weak theories of arithmetic	5
On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics	5
Dual counterpart intuitionistic logic	5
Modelling Supra-Classical Logic in a Boltzmann Neural Network: II Incongruence	5
Serial properties, selector proofs and the provability of consistency	5
Towards determinism in PDL: relations and proof theory	4
The flattening operator in team-based logics	4
Complexity of injection structures induced by finite state transducers	4
On Rosser theories	4
Unfriendly partitions when avoiding vertices of finite degree	4
Normalization and cut-elimination theorems for some logics of evidence and truth	4
RETRACTED AND REPLACED: Logics for contact and measure	4
Iterative social consolidations: Forming beliefs from many-valued evidence and peers’ opinions	4
An Argumentation-Based Approach for Goal Reasoning and Explanations Generation	4
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions	4
Formalized soundness and completeness of epistemic and public announcement logic	4

An algebraic approach to the study of monadic substructural predicate logics over FLew	4
Congruence filter pairs, equational filter pairs and adjoints	4
Weak Belnapian modal logic	4
Correction to: Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers	4
A formalization of abstract argumentation in higher-order logic	3
Incrementally predictive runtime verification	3
Extension of constraint-procedural logic-generated environments for deep Q-learning agent training and benchmarking	3
Advances in computational logic (CILC 2024)	3
Simple dynamic logic with parallel composition and applications to planning	3
90 years of Gödel’s incompleteness theorems: Logic and computation	3
Argumentation Frameworks with Attack Classification	3
On sheaves on semicartesian quantales and their truth values	3
Estimating event probabilities via signal temporal logic and first occurrence distributions	3
Gates and circuits via Dunn semantics	3
A typed lambda-calculus with first-class configurations	3
Permissive and regulative norms in deontic logic	3
Qualitative uncertainty and dynamics of argumentation through dynamic logic	3
Uniform lyndon interpolation for basic non-normal modal and conditional logics	3
Reasoning about epistemic social network dynamics using dynamic term-modal logic	3
The logics for the complexity classes with limited non-determinism	3
Modular orders on defaults in formal argumentation	3
Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity	3
Polyhedral semantics and the tractable approximation of Łukasiewicz infinitely-valued logic	2
Context-based argumentation frameworks and multi-agent consensus building	2
Modal weak Kleene logics: axiomatizations and relational semantics	2
Conditionals and modals in contexts	2
Bounded model checking distributed temporal logic	2
On the weak completeness of a fragment of linear temporal logic	2
Correction to: Conjunctive degrees and cylinders	2
A calculus for modal compact Hausdorff spaces	2
A new perspective on completeness and finitist consistency	2
Temporal logics for compartmental models	2
Modelling supra-classical logic in a Boltzmann neural network: III adaptation	2
Operating room scheduling via answer set programming: Improved encoding and test on real data	2
A sequent calculus for first-order logic formalized in Isabelle/HOL	2
Randomness and invariance	2
Wanted dead or alive: epistemic logic for impure simplicial complexes	2
Implicit commitment in a general setting	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
Relational models for the Lambek calculus with local contraction subexponentials	2
Descriptive complexity for neural networks via Boolean networks	2
A fuzzy structure processing mechanism for graph grammar	2
A Modal Axiomatization of BK	2
Uncertainty-based knowing how logic	2
Non-distributive positive logic as a fragment of first-order logic over semilattices	2
Principles of logics for plausible reasoning	2
A minimal coalition logic	2
A Representation of Lawson compact L-domains by information systems	2
Justification logic and type theory as formalizations of intuitionistic propositional logic	2

Computing most general unifiers in Euclidean modal logics	2
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic	2
Intuitionistic S4 as a logic of topological spaces	2
Classical computation over quantum architectures	2
The adjacent fragment and Quine’s limits of decision	2
An encoding of abstract dialectical frameworks into higher-order logic	2
A minimal substitution basis for the Kalmár elementary functions	2
Polyatomic logics and generalized Blok–Esakia theory	2
Topologies on residuated lattices	2
Integrating individual preferences into collective argumentation	2
Normal functions and maximal order types	2
A comprehensive account of the burden of persuasion in abstract argumentation	2
Strategic and private reasoning with the concurrent (timed) language for argumentation	2
Copying safety and liveness properties of computational artefacts	1
Timed concurrent language for argumentation with maximum parallelism	1
Undecidability of the degree structure of primitive recursive m-reducibility	1
Defining logical systems via algebraic constraints on proofs	1
A Principle-based Account of Self-attacking Arguments in Gradual Semantics	1
A logic-based tractable approximation of probability	1
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation	1
A unified logical framework for explanations in classifier systems	1
Modal algebra of multirelations	1
Preface	1
Modeling dynamics of legal relations with dynamic logic	1
Modal structures in groups and vector spaces	1
Tailoring explanations through conversation	1
Probabilistic consequence relations	1
Correction to: Argumentation Frameworks with Attack Classification	1
A Stone-type duality for semilattices with adjunctions	1
Retraction and replacement of: Logics for contact and measure	1
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Decompositions of stratified institutions	1
ASP-based approaches for solving the nuclear medicine scheduling problem	1
Generalization of filter theory of EQ-algebras based on lattices	1
Noetherian Gödel logics	1
A logical framework to model software development by multiple agents following a common specification	1
Evaluative presentations	1
Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme	1
Consistency and permission in deontic justification logic	1
A categorical analysis of compatibility frames	1
Contribution to decision-making in the big data industry based on the multiparametric similarity measure for Pythagorean fuzzy sets	1
Nonmonotonic inferences: Classical conclusions in an intuitionistic modal framework	1
Effective inseparability and some applications in meta-mathematics	1
Scheduling pre-operative assessment clinic with answer set programming	1
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities	1
Tense logics based on posets	1
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks	1
Conditional probabilities as degrees of similarity and as degrees of entailment	1
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs	1
Semitopology: a topological approach to decentralized collaborative action	1
The provability logic of all provability predicates	1
Towards ILP-based LTLf passive learning	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
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021	1
Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups	1
Explicit non-normal modal logic	1
Fuzzy bi-Gödel modal logic and its paraconsistent relatives	1
The Expressivity of Quantified Group Announcements	1
Computational properties of finite PNmatrices	1
On subreducts of subresiduated lattices and some related logics	1
Reflexive combinatory algebras	1
On tense bounded Hilbert algebras with supremum	1
Coarsening natural deduction proofs II: finding gaunt proofs	1
Efficient compliance checking of RDF data	1
Fuzzy labelling semantics for quantitative argumentation	1
Editors’ note: Special issue on combining probability and logic	1
How to leverage intelligent agents and complex event processing to improve patient monitoring	1
Special issue for the 36th Italian Conference on Computational Logic (CILC 2021)	1
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories	0
Analyticity with extra-logical information	0
Polytime embedding of intuitionistic modal logics into their one-variable fragments	0
On an inferential semantics for intuitionistic sentential logic	0
The umbilical cord of finite model theory	0
Nash meets Łukasiewicz: computing equilibria through logic	0
Hamilton’s cumular conception of quantifying particles: an exercise in third-order logic	0
A correct-by-construction approach for development of reliable planning problems	0
A many-valued multi-preferential propositional typicality logic and a conditional interpretation for gradual argumentation	0
The Ackermann encoding and its siblings	0
Reconstructing a single-head formula to facilitate logical forgetting	0

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