Sequent calculus
Related papers: 2
Top Researchers
Top Cited Papers
Playing Hybrid Games with KeYmaera
Jan-David Quesel, André Platzer
Citations: 13 • 2012
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
Citations: 6 • 2013