QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other i - Quantum logic - Document - PDFSEARCH.IO

First Page	Meta Content
	QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other i Add to Reading List Document Date: 2005-04-07 17:35:20 Open Document File Size: 244,05 KB Share Result on Facebook

QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other iAdd to Reading List