Decidability for branching time

John P. Burgess

doi:10.1007/BF00370320

Decidability for branching time

John P. Burgess

Philosophy

Research output: Contribution to journal › Article › peer-review

47 Scopus citations

Abstract

The species of indeterminist tense logic called 'Peircean' by A. N. Prior is proved to be recursively decidable.

Original language	English (US)
Pages (from-to)	203-218
Number of pages	16
Journal	Studia Logica
Volume	39
Issue number	2-3
DOIs	https://doi.org/10.1007/BF00370320
State	Published - Jun 1980

All Science Journal Classification (ASJC) codes

Logic
History and Philosophy of Science

Access to Document

10.1007/BF00370320

Cite this

@article{feb36d6baa3b45ba8a0ba647c293730b,

title = "Decidability for branching time",

abstract = "The species of indeterminist tense logic called 'Peircean' by A. N. Prior is proved to be recursively decidable.",

author = "Burgess, {John P.}",

year = "1980",

month = jun,

doi = "10.1007/BF00370320",

language = "English (US)",

volume = "39",

pages = "203--218",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "2-3",

}

TY - JOUR

T1 - Decidability for branching time

AU - Burgess, John P.

PY - 1980/6

Y1 - 1980/6

N2 - The species of indeterminist tense logic called 'Peircean' by A. N. Prior is proved to be recursively decidable.

AB - The species of indeterminist tense logic called 'Peircean' by A. N. Prior is proved to be recursively decidable.

UR - http://www.scopus.com/inward/record.url?scp=0005544192&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0005544192&partnerID=8YFLogxK

U2 - 10.1007/BF00370320

DO - 10.1007/BF00370320

M3 - Article

AN - SCOPUS:0005544192

SN - 0039-3215

VL - 39

SP - 203

EP - 218

JO - Studia Logica

JF - Studia Logica

IS - 2-3

ER -

Decidability for branching time

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this