Beta assertive graphs : proofs of assertions with quantification
Bellucci, Francesco
;
Chiffi, Daniele
;
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2021
/
23 p. : ill
https://www.collegepublications.co.uk/downloads/ifcolog00044.pdf
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
Exploring the beta quadrant
Pietarinen, Ahti-Veikko
Synthese
2015
/
p. 941-970 : ill
http://dx.doi.org/10.1007/s11229-015-0677-5