Palindrome (; "again") and ' (; "way, direction"). Palindromes date back at least to 79 AD, as a palindrome was found as a graffito at Herculaneum, a city buried by ash in that year. This palindrome, called the Sator Square, consists of a sentence written in Latin: "Sator Arepo Tenet Opera Rotas" ("The sower Arepo holds with effort the wheels"). It is remarkable for the fact that the first letters of each word form the first word, the second letters form the second word, and so forth. Hence, it can be arranged into a word square that reads in four different
Belief revision AGM postulates. In the AGM framework, a belief set is represented by a deductively closed set of propositional formulae. While such sets are infinite, they can always be finitely representable. However, working with deductively closed sets of formulae leads to the implicit assumption that equivalent belief bases should be considered equal when revising. This is called the "principle of irrelevance of syntax". This principle has been and is currently debated: while formula_87 and formula_88 are two equivalent sets, revising by formula_8 should produce different results. In the first case, formula_9 and formula_10 are two separate beliefs; therefore, revising by formula_8