Natural deduction

A deduction model of belief and its logics

Kurt Konolige

引用数: 62 • 1984

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

Automated deduction in a graphical temporal logic

L.E. Moser, P. M. Melliar‐Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon

引用数: 3 • 1996

Argumentation and rule-based logic in mathematical proving and legal artificial intelligence applications

Σοφία Αλμπάνη

引用数: 3 • 2022