Page Text: natural deduction systems in — see natural deduction systems in logic
non-monotonic (Christian Strasser and G. Aldo Antonelli)
paraconsistent (Graham Priest, Koji Tanaka, and Zach Weber)
and probability (Lorenz Demey, Barteld Kooi, and Joshua Sack)
propositional dynamic (Nicolas Troquard and Philippe Balbiani)
provability (Rineke (L.C.) Verbrugge)