We present new sequent calculi for Lewis' logics of counterfactuals. The calculi are based on Lewis' connective of comparative plausibility and modularly capture almost all logics of …
Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional--especially counterfactual--expressions in natural …
Lewis's counterfactual logics are a class of conditional logics that are defined as extensions of classical propositional logic with a two-place modal operator expressing conditionality …
This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of …
This thesis can be ideally placed at the intersection of three research topics: conditional logics, proof theory and neighbourhood semantics. The family of logics under scope stems …
We introduce our implementation in HOL Light of a prototype of a general theorem prover for normal modal logics. In the present work, we start by considering G\" odel-L\" ob provability …
M Maggesi, C Perini Brogi - Journal of Automated Reasoning, 2023 - Springer
We introduce our implementation in HOL Light of the metatheory for Gödel–Löb provability logic (GL), covering soundness and completeness wrt possible world semantics and …
B Więckowski - Peter Schroeder-Heister on Proof-Theoretic …, 2024 - library.oapen.org
We define intuitionistic subatomic natural deduction systems for reasoning with elementary would-counterfactuals and causal since-subordinator sentences. The former kind of …
R Zach - arXiv preprint arXiv:1805.09446, 2018 - arxiv.org
arXiv:1805.09446v1 [math.LO] 23 May 2018 Non-Analytic Tableaux for Chellas’s Conditional Logic CK and Lewis’s Logic of Cou Page 1 arXiv:1805.09446v1 [math.LO] 23 May 2018 …