First-order justification logic with constant domain semantics
From MaRDI portal
Publication:5108022
DOI10.1093/logcom/exaa008OpenAlexW3003930972WikidataQ126404311 ScholiaQ126404311MaRDI QIDQ5108022
Melvin Fitting, Felipe Salvatore
Publication date: 29 April 2020
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1808.09875