Epistemic logic for rule-based agents
scientific article; zbMATH DE number 5532549
scientific article