Get Free Access for 10 Days!
Handout

Temporal Logic/stanford Encyclopedia of Philosophy

Curated by ACT

Discusses the temporal logic of Arthur Prior, a type of modal logic. After technical definitions, author addresses related philosophical issues. Also summarizes applications in natural language, computer science, and artificial intelligence. Good bibliography.

3 Views 0 Downloads
Concepts
artificial intelligence, computer science
Show More Show Less
Additional Tags
arthur prior, modal logic, natural language, predicate logic, temporal logic, tense logic
Show More Show Less
Classroom Considerations
  • Knovation Readability Score: 5 (1 low difficulty, 5 high difficulty)
  • The intended use for this resource is Instructional