ScienceOpen: research and publishing network

For Researchers

Search
Advanced search

5

views

    

0

recommends

0

shares

Record: found
Abstract: found
Article: found

Is Open Access

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

Preprint

Author(s): Richard Zach

Publication date Created: 23 May 2018

Read this article at

ScienceOpen ArXiv

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

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.

Related collections

Most cited references 6

Record: found
Abstract: not found
Article: not found

A semantic analysis of conditional logic1

ROBERT STALNAKER, RICHMOND H. THOMASON (1970)

0 comments Cited 18 times – based on 0 reviews      Review now

Record: found
Abstract: not found
Article: not found

Basic conditional logic

Brian F. Chellas (1975)

0 comments Cited 11 times – based on 0 reviews      Review now

Record: found
Abstract: not found
Article: not found

Notes on conditional logic

Krister Segerberg (1989)

0 comments Cited 4 times – based on 0 reviews      Review now

Author and article information

Journal

Publication date Created: 23 May 2018

Article

ArXiV ID: 1805.09446

SO-VID: 0db1e523-9fce-4eb6-b879-5294813b486e

License:

http://arxiv.org/licenses/nonexclusive-distrib/1.0/

History

Custom metadata

ACM classes 03B45

Categories math.LO cs.LO

ScienceOpen disciplines: Theoretical computer science,Logic & Foundation

Data availability:

ScienceOpen disciplines: Theoretical computer science, Logic & Foundation

Comments

Comment on this article