This article provides a survey of classic and recent work in conditional logic. We review the
problems of a two-valued analysis and examine logics based on richer semantic frameworks …

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 …

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 …

We define intuitionistic subatomic natural deduction systems for reasoning with elementary
would-counterfactuals and causal since-subordinator sentences. The former kind of …

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 …