Proof calculus
相关论文数: 4
顶级研究者
最高引用论文
A Spatial Logic for the Hybrid π-Calculus
William C. Rounds
引用数: 12 • 2004
Non-terminating processes in the situation calculus
Giuseppe De Giacomo, Eugenia Ternovska, Ray Reiter
引用数: 12 • 2019
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
引用数: 6 • 2013
Reasoning in the event calculus using first-order automated theorem proving
Erik T. Mueller, Geoff Sutcliffe
引用数: 4 • 2005