Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Modal reduction principles"'
Graph-based frames have been introduced as a logical framework which internalizes an inherent boundary to knowability. They also support the interpretation of lattice-based (modal) logics as hyper-constructive logics of evidential reasoning. Conceptu
Externí odkaz:
http://arxiv.org/abs/2403.14026
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Conradie, Willem, De Domenico, Andrea, Manoorkar, Krishna, Palmigiano, Alessandra, Panettiere, Mattia, Prieto, Daira Pinto, Tzimoulis, Apostolos
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and many-valued pol
Externí odkaz:
http://arxiv.org/abs/2202.00899
Publikováno v:
The Journal of Symbolic Logic, 1976 Jun 01. 41(2), 301-312.
Externí odkaz:
https://www.jstor.org/stable/2272228
Autor:
Pinto Prieto, Daira
Publikováno v:
UVaDOC. Repositorio Documental de la Universidad de Valladolid
instname
instname
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::95c15fcc620b6c798411f9f4aff2d9d1
http://uvadoc.uva.es/handle/10324/45558
http://uvadoc.uva.es/handle/10324/45558
The present paper establishes systematic connections among the first-order correspondents of Sahlqvist modal reduction principles in various relational semantic settings which include crisp and many-valued Kripke frames, and crisp and many-valued pol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4612::9965a86688708d79170cfc9a8ad702e1
https://research.vu.nl/en/publications/e47f4d6b-09d9-4982-845a-d78f403d7cdc
https://research.vu.nl/en/publications/e47f4d6b-09d9-4982-845a-d78f403d7cdc
Autor:
Fitch, Frederic B.
Publikováno v:
Journal of Philosophical Logic, 1973 Jan 01. 2(1), 97-101.
Externí odkaz:
https://www.jstor.org/stable/30226971
Autor:
van Benthem, J.F.A.K.
Publikováno v:
Journal of Symbolic Logic; June 1976, Vol. 41 Issue: 2 p301-312, 12p