Skip to page content
Toggle Menu
Site-wide navigation
Topics
Trending
Economic Development
Emerging Technologies
Public Health
Cybersecurity
Military Acquisition and Procurement
Topics
Children, Families, and Communities
Cyber and Data Sciences
Education and Literacy
Energy and Environment
Health, Health Care, and Aging
Homeland Security and Public Safety
Infrastructure and Transportation
International Affairs
Law and Business
National Security
Science and Technology
Social Equity
Workers and the Workplace
All Topics
Research & Commentary
Experts
About
Research Divisions
RAND's divisions conduct research on a uniquely broad front for clients around the globe.
Federally Funded Research Divisions
RAND Army Research Division
RAND Homeland Security Research Division
RAND National Security Research Division
RAND Project AIR FORCE
Social and Economic Policy Divisions
RAND Education and Labor
RAND Health Care
RAND Social and Economic Well-Being
RAND Global and Emerging Risks
International
RAND Europe
RAND Australia
Services & Impact
Careers
Graduate School
Give
Cart
Toggle
Search
Site-wide Search
Search
RAND
Research & Commentary
Browse by Author
M
>R. Mattison
R. Mattison
An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic
1969
A Formal System for the Logical Analysis of Temporal Relationships Between Intervals of Time.
1967
