استدلال عقلانی
تئوری اقدام، رخدادها و تغییر، طیف دیگری از استدلال مبتنی بر قضاوت عقلانی است. روش‌های استدلال منطقی برای دامنه‌هایی که محدودیت‌های ذکر شده در زیر را برآورده می‌کنند وجود دارد:
حساب گزاره‌ای
بقیه شکل‌های استدلال علی رغم سادگی لزوماً مورد نیاز نیستند. در کنار مجموعهٔ کاملی از اصول وضع مقدم برای اثبات تمام استدلال‌های دیگر در حساب گزاره‌ای کافی است. توجه شود که این وضع د