Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC

05/23/2018
by   Richard Zach, et al.
0

Priest has provided a simple tableau calculus for Chellas's conditional logic Ck. We provide rules which, when added to Priest's system, result in tableau calculi for Chellas's CK and Lewis's VC. Completeness of these tableaux, however, relies on the cut rule.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/23/2019

Automated proof search system for logic of correlated knowledge

The automated proof search system and decidability for logic of correlat...
research
09/10/2021

Combining Event Calculus and Description Logic Reasoning via Logic Programming

The paper introduces a knowledge representation language that combines t...
research
06/16/2020

Grading Adjoint Logic

We introduce a new logic that combines Adjoint Logic with Graded Necessi...
research
02/17/2022

A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting

This paper obtains a completeness result for inequational reasoning with...
research
03/26/2022

Algorithmic correspondence and analytic rules

We introduce the algorithm MASSA which takes classical modal formulas in...
research
11/28/2019

A geometrical view of I/O logic

We describe a geometrical account of the I/O logic put forth by Makinson...

Please sign up or login with your details

Forgot password? Click here to reset