BH-CIFOL: case-intensional first order logic. II: Branching histories

From MaRDI portal
Publication:484180

DOI10.1007/S10992-013-9292-4zbMath1325.03017DBLPjournals/jphil/Belnap014OpenAlexW1594812752WikidataQ39285285 ScholiaQ39285285MaRDI QIDQ484180

Thomas Müller, Nuel D. jun. Belnap

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9292-4




Related Items (6)




Cites Work




This page was built for publication: BH-CIFOL: case-intensional first order logic. II: Branching histories