Proof calculus
Related papers: 4
Top Researchers
Top Cited Papers
A Spatial Logic for the Hybrid π-Calculus
William C. Rounds
Citations: 12 • 2004
Non-terminating processes in the situation calculus
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
Citations: 12 • 2019
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
Reasoning in the event calculus using first-order automated theorem proving
Erik T. Mueller, Geoff Sutcliffe
Citations: 4 • 2005