Activity: Talk or presentation › Lecture and oral contribution
Description
Invited talk: This talk is a technical follow-up to my AWPL keynote address: I will discuss the proof theory of Prior's Ideal Language (PIL) with respect to general models. I will begin with some remarks on axiomatics, and then present a (sound and complete) tableau system for PIL. I may also make some brief remarks about natural deduction.
Period
7 Mar 2024
Event title
Sapporo One-day Workshop on Hybrid Logic and Proof Theory - 7th March 2024