Dynamic ideas in quantum logic
pp. 175-182
in: Rosaria Egidi (ed), In search of a new humanism, Berlin, Springer, 1999Abstract
An abstract investigation about quantum histories naturally meets ideas that have been developed in the framework of dynamic logic [5], where possible relations between truths and actions are studied. The aim of this paper is to investigate a general semantic framework that admits of a number of possible applications. A particular case will be represented by quantum histories ([6], [4]).