Prior’s ideal language
Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod · Mathematical Structures in Computer Science · 2025
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.