Lotrecscheme

MaRDI QIDQ22919swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S1571066111001435

Cited in

(6)

• Generalized DEL-Sequents
• Tableaux for non-normal public announcement logic
• Scheme
• SCIFF
• Normative reasoning and consequence
• LotrecScheme

This page was built for software: Lotrecscheme