Journal of Applied Logic
1570-8683
Cơ quản chủ quản: N/A
Phân tích ảnh hưởng
Các bài báo tiêu biểu
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
A history based approximate epistemic action theory for efficient postdictive reasoning
Tập 13 - Trang 720-769 - 2015
Unity in nominal equational reasoning: The algebra of equality on nominal sets
Tập 10 - Trang 199-217 - 2012
Reconsideration of circumscriptive induction with pointwise circumscription
Tập 7 - Trang 307-317 - 2009
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics
Tập 4 - Trang 414-427 - 2006