Studia Logica: an international journal for symbolic logic
Collection
Collection
- ISSN: 00393215
-
Reasoning about actions and obligations in first-order logic Article
Studia Logica: an international journal for symbolic logic, 57(1), 221-237.January 1996 -
Circular Discernment in Completely Extensive Structures and How to Avoid such Circles Generally Article
Studia Logica: an international journal for symbolic logic, 100(5), 947-952.September 2012 -
From Bi-facial Truth to Bi-facial Proofs Article
Studia Logica: an international journal for symbolic logic, 103(3), 545-558.September 2015 -
On All Strong Kleene Generalizations of Classical Logic Article
Studia Logica: an international journal for symbolic logic, 104(3), 503-545.June 2016
-
Interpolation Methods for Dunn Logics and Their Extensions Article
Studia Logica: an international journal for symbolic logic, 1-29.S. Wintein (Stefan) and Muskens, R. (Reinhard)
April 2017
-
Interpolation in 16-Valued Trilattice Logics Article
Studia Logica: an international journal for symbolic logic, 1-26.Muskens, R. (Reinhard) and S. Wintein (Stefan)
August 2017