Federacja Bibliotek Cyfrowych

Homepage
Repozytorium Uniwersytetu Łódzkiego
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Object's details: Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

tile.noImage

Provider:Repozytorium Uniwersytetu Łódzkiego

Description

Title:
Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
Creator:
Pietruszczak, Andrzej
Contributor:
Nicolaus Copernicus University in Toruń, Department of Logic, Poland;
Andrzej.Pietruszczak@umk.pl
Description:
The paper studies extensions of t-normal logics S0.5o and S0.5 obtained by means of some axioms of normal logics. We will prove determination theorems for these extensions by appropriate Kripke-style models. It will allow us to obtain the determinations of the logics K45, KB4 (= KB5), KD45 and S5 without using modal rules.
Object availability:
free access
Rights: https://creativecommons.org/licenses/by-nc-nd/4.0
Date:
2025.02.05;
2024.06.24
Type:
Article
Language:
English
Format:
application/pdf
Publisher:
Wydawnictwo Uniwersytetu Łódzkiego
Relation:
Bulletin of the Section of Logic;4;
53
Subject:
modal logic;
t-normal logics;
Kripke-style semantics
Identifier:
0138-0680;
http://hdl.handle.net/11089/54526 ;
2449-836X;
10.18778/0138-0680.2024.12
Data provider:
Repozytorium Uniwersytetu Łódzkiego

Can I use it?:
check license
Type:
image

Similar objects

tile.noImage

Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules

Creator:Pietruszczak, Andrzej

Date:2025.02.05 | 2024.06.24

Type:image

tile.noImage

Simplified Kripke style semantics for some very weak modal logics

Creator:Pietruszczak, Andrzej

Date:2010.03.30

Type:text

tile.noImage

On axiomatization of Łukasiewicz's four-valued modal logic

Creator:Tkaczyk, Marcin

Date:2011.11.30

Type:text

tile.noImage

Reflections on temporal and modal logic

Creator:Epstein, Richard L.

Date:2014.08.02

Type:text

tile.noImage

Many-Valued Logics and Bivalent Modalities

Creator:Bezerra, Edson | Venturi, Giorgio

Date:2022.04.11

Type:text

tile.noImage

A Note on the Intuitionistic Logic of False Belief

Creator:Witczak, Tomasz

Date:2022.05.19 | 2021.09.01

Type:other

tile.noImage

On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1

Creator:Pietruszczak, Andrzej

Date:2018.04.24 | 2017

Type:image

tile.noImage

On Theses without Iterated Modalities of Modal Logics Between C1 and S5. Part 2

Creator:Pietruszczak, Andrzej

Date:2018.06.22 | 2017

Type:image

FBC TeNe Project

Project co-financed by European Funds under the Operational Program Digital Poland for 2014-2020 (project no. POPC.02.04.00-00-0012 / 20-00)

More information about the project can be found at: https://tene.fbc.pionier.net.pl

European Funds. Digital Poland

Republic of Poland

Digital Libraries Federation

European Union - European Regional Development Fund

We use files, through the cookie quality improvement layer of our website.For more information, please read the document Privacy Policy