Hyperintensional Logics for Everyone
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00501986" target="_blank" >RIV/67985807:_____/21:00501986 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/s11229-018-02076-7" target="_blank" >http://dx.doi.org/10.1007/s11229-018-02076-7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11229-018-02076-7" target="_blank" >10.1007/s11229-018-02076-7</a>
Alternative languages
Result language
angličtina
Original language name
Hyperintensional Logics for Everyone
Original language description
We introduce a general representation of unary hyperintensional modalities and study various hyperintensional modal logics based on the representation. It is shown that the major approaches to hyperintensionality known from the literature, that is state-based, syntactic and structuralist approaches, all correspond to special cases of the general framework. Completeness results pertaining to our hyperintensional modal logics are established.
Czech name
—
Czech description
—
Classification
Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
10101 - Pure mathematics
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2021
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Synthese
ISSN
0039-7857
e-ISSN
1573-0964
Volume of the periodical
198
Issue of the periodical within the volume
2
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
24
Pages from-to
933-956
UT code for WoS article
000621872500003
EID of the result in the Scopus database
2-s2.0-85060024195