Author： Veltman F.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.25, Iss.3, 1996-06, pp. : 221-261
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Update Semantics of Security Protocols
By Hommersom Arjen Meyer John-jules De vink Erik
Synthese, Vol. 142, Iss. 2, 2004-09 ,pp. :
Access to resources
Recommend
By Horty John
Journal of Philosophical Logic, Vol. 36, Iss. 4, 2007-08 ,pp. :
Studia Logica, Vol. 86, Iss. 1, 2007-06 ,pp. :
By Brady Ross
Journal of Philosophical Logic, Vol. 39, Iss. 5, 2010-10 ,pp. :
By Oppy G.
Australasian Journal of Philosophy, Vol. 79, Iss. 4, 2001-12 ,pp. :