Neighbourhood Semantics for Modal Relevant Logics

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00559074" target="_blank" >RIV/67985807:_____/23:00559074 - isvavai.cz</a>

Výsledek na webu

<a href="https://dx.doi.org/10.1007/s10992-022-09668-2" target="_blank" >https://dx.doi.org/10.1007/s10992-022-09668-2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10992-022-09668-2" target="_blank" >10.1007/s10992-022-09668-2</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Neighbourhood Semantics for Modal Relevant Logics

Popis výsledku v původním jazyce

In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.

Název v anglickém jazyce

Neighbourhood Semantics for Modal Relevant Logics

Popis výsledku anglicky

In this paper, we investigate neighbourhood semantics for modal extensions of relevant logics. In particular, we combine the neighbourhood interpretation of the relevant implication (and related connectives) with a neighbourhood interpretation of modal operators. We prove completeness for a range of systems and investigate the relations between neighbourhood models and relational models, setting out a range of augmentation conditions for the various relations and operations.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2023

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Journal of Philosophical Logic

ISSN

0022-3611

e-ISSN

—

Svazek periodika

52

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

37

Strana od-do

145-181

Kód UT WoS článku

000818599700001

EID výsledku v databázi Scopus

2-s2.0-85133188833