Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve these games in practice is widely acknowledged as a core problem in formal verification, as it leads to efficient solutions of the model-checking and satisfiability problems of expressive temporal logics, e.g., the modal ...

Previous research has indicated that memories can be modified in conjunction with one’s attitudes, in particular, political beliefs. The current study extended this finding by focusing on the relationship between differing religious beliefs and false memories for news events. We predicted that religious people would be more inclined to remember fabricated news events positively depicting religi...