A multidimensional modal translation for a formal system motivated by situation semantics.
Juan Barba Escriba
Source: Notre Dame J. Formal Logic Volume 32, Number 4
(1991), 598-608.
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093635931
Zentralblatt MATH identifier: 0748.03014
Mathematical Reviews number (MathSciNet): MR1146614
Digital Object Identifier: doi:10.1305/ndjfl/1093635931
Notre Dame Journal of Formal Logic
