Non-transitive linear temporal logic and logical knowledge operations
scientific article; zbMATH DE number 6636308