Title: Advances in Temporal Logic
Subjects: Logic, symbolic and mathematical, Logic, Philosophy, Philosophy (General), Data structures (Computer science), Electronic data processing, Symbolic and mathematical Logic, Computing Methodologies, Cryptology and Information Theory Data Structures, Mathematical Logic and Foundations