tense logic

Show Summary Details

Quick Reference

Logic first explored by the Oxford philosopher Arthur Prior, obtained by adding two propositional operators ‘P’ (in the past…) and ‘F’ (in the future…) to classical propositional and first-order logic.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.