Dialog (mathematische Logik)

System von Regeln, nach denen eine logisch zusammengesetzte Aussage von einem Proponenten behauptet und von einem Opponenten bestritten werden kann. Dabei sind wahre Aussagen diejenigen Aussagen, die sich gegen jedermann vertreten lassen, für die also eine Gewinnstrategie vorliegt.