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
Conjectures and abductive reasoning in games
Pietarinen, Ahti-Veikko
Journal of applied logics : IfCoLog journal of logics and their applications
2018
/
p. 1121-1143
https://doi.org/10.13140/RG.2.2.32685.18409