Journal of Logic and Computation

Title Publication Date Language Citations
Changing the logic without changing the subject: the case of computability2024/04/01English
Numeral completeness of weak theories of arithmetic2023/12/12English
Editorial DEON 2020/2021 Special Issue2023/12/12English
Applying Theory to Practice2023/11/20English
Coarsening Natural Deduction Proofs I: Finding Perfect Proofs2024/01/03English
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions2023/12/07English
Uncertainty-based knowing how logic2023/10/09English
Renovation sets and their applications in higher-order argumentation frameworks2023/11/21English
Correction to: Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities2023/10/26English
Low scattered linear orders2024/03/20English
☐ and ◇ in eight-valued non-deterministic semantics for modal logics2024/03/20English
Completeness of tableau calculi for two-dimensional hybrid logics2024/04/18English
Rescheduling rehabilitation sessions with answer set programming2023/03/29English
Sustainable goal-oriented smart environments: a declarative programming approach2023/03/28English
Non-distributive positive logic as a fragment of first-order logic over semilattices2023/02/28English
Reconciling transparency, low Δ0-complexity and axiomatic weakness in undecidability proofs2023/03/31English
Normal functions and maximal order types2023/02/16English
Advancing Logic in AI: insights from the LNGAI 2021 Workshop2024/01/24English
Principles of logics for plausible reasoning2024/02/19English
Polyatomic logics and generalized Blok–Esakia theory2023/06/15English
Correction to: Arithmetical and Hyperarithmetical Worm Battles2023/07/27English
A Principle-based Account of Self-attacking Arguments in Gradual Semantics2023/02/02English
Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP2023/01/31English
What do ultraproducts remember about the original structures?2023/01/31English
Attack principles in sequent-based argumentation theory2024/04/15English
Context-based argumentation frameworks and multi-agent consensus building2023/10/19English
Bisimulation in model-changing modal logics: An algorithmic study2023/08/24English
Some completeness results in derivational modal logic2023/08/08English
Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020)2023/08/17English
Dual counterpart intuitionistic logic2023/09/11English