Introducing reactive Kripke semantics and arc accessibility
scientific article; zbMATH DE number 6137028
scientific article