Lotrecscheme

swMATH10967MaRDI QIDQ22919FDOQ22919

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Lotrecscheme