Prior's Ideal Language

Patrick Rowan Blackburn; Torben Braüner; Julie Lundbak Kofod

Prior's Ideal Language

Patrick Rowan Blackburn, Torben Braüner, Julie Lundbak Kofod

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

We present an axiom system for what we call Prior's Ideal Language, and prove its completeness and pure completeness with respect with respect to general models. With this is done, we explain, with examples, why think this system provides a useful setting for exploring Arthur Prior's work.

Original language	English
Journal	Mathematical Structures in Computer Science
ISSN	0960-1295
Publication status	Accepted/In press - 2024

Cite this

@article{fea93ff7f8d047c8b58dfda3533c7365,

title = "Prior's Ideal Language",

abstract = "We present an axiom system for what we call Prior's Ideal Language, and prove its completeness and pure completeness with respect with respect to general models. With this is done, we explain, with examples, why think this system provides a useful setting for exploring Arthur Prior's work.",

author = "Blackburn, {Patrick Rowan} and Torben Bra{\"u}ner and Kofod, {Julie Lundbak}",

year = "2024",

language = "English",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

}

TY - JOUR

T1 - Prior's Ideal Language

AU - Blackburn, Patrick Rowan

AU - Braüner, Torben

AU - Kofod, Julie Lundbak

PY - 2024

Y1 - 2024

N2 - We present an axiom system for what we call Prior's Ideal Language, and prove its completeness and pure completeness with respect with respect to general models. With this is done, we explain, with examples, why think this system provides a useful setting for exploring Arthur Prior's work.

AB - We present an axiom system for what we call Prior's Ideal Language, and prove its completeness and pure completeness with respect with respect to general models. With this is done, we explain, with examples, why think this system provides a useful setting for exploring Arthur Prior's work.

M3 - Journal article

SN - 0960-1295

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

ER -