TY  - THES 
A3  - Manzano Arjona, María Gracia
AU  - Pinto Prieto, Daira
PY  - 2020
UR  - http://uvadoc.uva.es/handle/10324/45558
AB  - Sahlqvist theory is an important result in the model theory of modal logic, since it identifies a class of formulas
which have effectively computable first order correspondents. Recently, this theory has been generalised
to a larger set of logics by...
AB  - La teoría de Sahlqvist es un importante resultado de la teoría de modelos de la lógica modal, ya que identifica
una clase de fórmulas que tienen un correspondiente de primer order efectivamente computable. Esta teoría ha
sido recientemente...
LA  - eng
KW  - Correspondence theory
KW  - Sahlqvist theory
KW  - Modal logic
KW  - Many-valued modal logic
KW  - Modal reduction principles
KW  - Kripke models
KW  - Polarity-based semantics
KW  - Non-distributive logics
KW  - Teoría de la correspondencia
KW  - Teoría de Sahlqvist
KW  - Lógica modal multi-valuada
KW  - Modelos de Kripke
TI  - Modal Reduction Principles across Relational Semantics
M3  - info:eu-repo/semantics/masterThesis
ER  -