Buscar
Mostrando ítems 81-90 de 782
A Note on the Model Theory for Positive Modal Logic
(IOS Press, 2012-01)
The minimum system of Positive Modal Logic S K + is the (∧, ∨, □, ◇, ⊥, ⊤)-fragment of the minimum normal modal logic K with local consequence. In this paper we develop some of the model theory for S K + along the yet ...
A topological study of contextuality and modality in quantum mechanics
(Springer/plenum Publishers, 2008-12)
Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators. This enlargement ...
Será S5 o sistema de lógica modal correto para a modalidade metafísica?
(Universidade Federal de Minas GeraisUFMG, 2014-02-03)
This work is in a simultaneous investigation in both modal logic and modal metaphysics. We seek to the system of modal propositional logic correct for metaphysical modality or modality tout court. Being understood as ...
Semilattices global valuations in the topos approach to quantum mechanics
(Springer, 2017-12)
In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum ...
REMARKS ON HIGHER-ORDER MODAL LOGIC
(Acta Cientifica VenezolanaCaracasVenezuela, 1987)
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
Posiciones infundadas en la polémica sobre Mundos Posibles
(Facultad de Filosofía y Letras, Universidad de Buenos Aires, 2017)
Non-deterministic Semantics In Polynomial Format
(Elsevier, 2014)