Proof Theory for Prior's Ideal Language

Activity: Talk or presentationLecture 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.
Period7 Mar 2024
Event titleSapporo One-day Workshop on Hybrid Logic and Proof Theory - 7th March 2024
Event typeWorkshop
LocationSapporo, JapanShow on map
Degree of RecognitionInternational

Keywords

  • Hybrid Logic
  • Logic
  • Logic of Time
  • Arthur Prior
  • Natural deduction
  • Proof theory