Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report

Moshe Y. Vardi Larry J. Stockmeyer

Published in: STOC (1985)

Keyphrases

upper and lower bounds
modal logic
upper bound
decision procedures
lower bound
inference rules
dynamic logic
temporal logic
lower and upper bounds
nonmonotonic logics
epistemic logic
theorem proving
default logic
sample complexity
situation calculus
modal operators
machine learning