We prove completeness and decidability results for a family of combinations of propositional dynamic logic and unimodal doxastic logics in which the modalities may interact. The kind of interactions ...
Synthese, Vol. 186, No. 3, LOGIC MEETS PHYSICS (June 2012), pp. 719-752 (34 pages) Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback