Natural deduction
Related papers: 7
Top Researchers
Top Cited Papers
A deduction model of belief and its logics
Kurt Konolige
Citations: 62 • 1984
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
Automated deduction in a graphical temporal logic
L.E. Moser, P. M. Melliar‐Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
Citations: 3 • 1996
Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications
Σοφία Αλμπάνη
Citations: 3 • 2022