thumbnail

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

The three bases for the enthymeme: A dialogical theory
Tập 6 Số 3 - Trang 361-379 - 2008
Fabrizio Macagno
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
Hannes Strass, Michael Thielscher
The countable versus uncountable branching recurrences in computability logic
Tập 10 - Trang 431-446 - 2012
Wenyan Xu, Sanyang Liu
Locality and modular Ehrenfeucht–Fraïssé games
Tập 10 - Trang 144-162 - 2012
Achim Blumensath
Abduction: A categorical characterization
Tập 13 - Trang 78-90 - 2015
Fernando Tohmé, Gianluca Caterina, Rocco Gangle
Agent strands in the action language nC+
Tập 6 - Trang 172-191 - 2008
Robert Craven, Marek Sergot
A logical framework for privacy-preserving social network publication
Tập 12 - Trang 151-174 - 2014
Tsan-sheng Hsu, Churn-Jung Liau, Da-Wei Wang
A neural cognitive model of argumentation with application to legal inference and decision making
Tập 12 - Trang 109-127 - 2014
Artur S. d'Avila Garcez, Dov M. Gabbay, Luis C. Lamb
Continuity and geometric logic
Tập 12 - Trang 14-27 - 2014
Steven Vickers
An axiomatization of family resemblance
Tập 5 - Trang 577-585 - 2007
R.E. Jennings, D.X. Nicholson