Tomorrow’s Sea-Battle and the Beginning of Temporal Logic

DOI10.1007/978-3-319-65430-0_25zbMath1406.03023OpenAlexW2808201338MaRDI QIDQ4611678

Kazimierz Trzęsicki

Publication date: 21 January 2019

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-65430-0_25

zbMATH Keywords

temporal logictomorrow's sea-battle

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Temporal logic (03B44)

Cites Work

• Temporal logic. From ancient ideas to artificial intelligence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tomorrow’s Sea-Battle and the Beginning of Temporal Logic