Buscar
Mostrando ítems 31-40 de 782
Verification of Dynamic Bisimulation Theorems in Coq
(Elsevier, 2021-04)
Over the last years, the study of logics that can update a model while evaluating a formula has gained in interest. Motivated by many examples in practice such as hybrid logics, separation logics and dynamic epistemic ...
Preservation by fibring of the finite model property
(Oxford Univ PressOxfordInglaterra, 2011)
Algebraic semantics for the minimum many-valued modal logic over Łn
(Elsevier, 2021-08)
For each n∈N, we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining as ...
Paraconsistencia e modalidadeParaconsistency and modality
([s.n.], 2009)
Completeness in Hybrid Type Theory
(Springer, 2014-05)
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are ...
Hybrid Logic as extension of Modal and Temporal LogicLa lógica híbrida como extensión de las lógicas modal y temporal
(Universidad de Valparaíso, 2019)
Sobre el argumento ontológicoSobre el argumento ontológico
(Universidad de Costa Rica, 2014)
Characterization, definability and separation via saturated models
(Elsevier Science, 2014-06)
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability Theorem (that provides conditions ...
Characterization, definability and separation via saturated models
(2014)
Three important results about the expressivity of a modal logic L are the Characterization Theorem (that identifies a modal logic L as a fragment of a better known logic), the Definability theorem (that provides conditions ...