Sequential dynamic logic
From MaRDI portal
Publication:2255197
DOI10.1007/s10849-011-9152-yzbMath1305.03020OpenAlexW2165019859MaRDI QIDQ2255197
Alexander Bochman, Dov M. Gabbay
Publication date: 9 February 2015
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: http://orbilu.uni.lu/handle/10993/26106
Logic of natural languages (03B65) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Cites Work