Hostname: page-component-89b8bd64d-4ws75 Total loading time: 0 Render date: 2026-05-08T12:59:00.706Z Has data issue: false hasContentIssue false

Prior’s ideal language

Published online by Cambridge University Press:  08 April 2025

Patrick Blackburn
Affiliation:
Department of Philosophy and Science Studies, Roskilde University, Roskilde, Denmark
Torben Braüner*
Affiliation:
Department of People and Technology, Roskilde University, Roskilde, Denmark
Julie Lundbak Kofod
Affiliation:
Department of Philosophy and Science Studies, Roskilde University, Roskilde, Denmark
*
Corresponding author: Torben Braüner; Email: torben@ruc.dk

Abstract

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

Information

Type
Special Issue: WoLLIC 2023
Copyright
© The Author(s), 2025. Published by Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable