Dialooglogica
Vorm van logica waarin logische constanten (zie variabele) worden gedefiniëerd door middel van regels voor aanvallen op respectievelijk verdedigingen van uitspraken waarin die constanten voorkomen. Een redenering bestaande uit premisse(n) P en conclusie C heet dia- looglogisch geldig wanneer de verdediger van Ceen winststrategie heeft, d.w.z. ieder...