Analytic Proof-Theory for Prior's System Q: First Steps

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Seventy years of tense-logic: Logic and Philosophy of Time
Publisher	Aalborg Universitetsforlag
Publication status	Accepted/In press - 2024

Cite this

@inbook{68a6ed2a26f7497fb9c267d006564f10,

title = "Analytic Proof-Theory for Prior's System Q: First Steps",

author = "Torben Bra{\"u}ner",

year = "2024",

language = "English",

series = "Logic and Philosophy of Time",

publisher = "Aalborg Universitetsforlag",

number = "1",

booktitle = "Seventy years of tense-logic: Logic and Philosophy of Time",

}