Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules
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 wi...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Lodz University Press
2024-06-01
|
| Series: | Bulletin of the Section of Logic |
| Subjects: | |
| Online Access: | https://czasopisma.uni.lodz.pl/bulletin/article/view/22813 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850193243857223680 |
|---|---|
| author | Andrzej Pietruszczak |
| author_facet | Andrzej Pietruszczak |
| author_sort | Andrzej Pietruszczak |
| collection | DOAJ |
| 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. |
| format | Article |
| id | doaj-art-e85a0a42e82a41d1b77799ba265e4040 |
| institution | OA Journals |
| issn | 0138-0680 2449-836X |
| language | English |
| publishDate | 2024-06-01 |
| publisher | Lodz University Press |
| record_format | Article |
| series | Bulletin of the Section of Logic |
| spelling | doaj-art-e85a0a42e82a41d1b77799ba265e40402025-08-20T02:14:19ZengLodz University PressBulletin of the Section of Logic0138-06802449-836X2024-06-0153451153310.18778/0138-0680.2024.1223064Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal RulesAndrzej Pietruszczak0https://orcid.org/0000-0001-9133-5081Nicolaus Copernicus University in Toruń, Department of Logic, Poland 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.https://czasopisma.uni.lodz.pl/bulletin/article/view/22813modal logict-normal logicskripke-style semantics |
| spellingShingle | Andrzej Pietruszczak Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules Bulletin of the Section of Logic modal logic t-normal logics kripke-style semantics |
| title | Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules |
| title_full | Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules |
| title_fullStr | Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules |
| title_full_unstemmed | Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules |
| title_short | Some Additional Axioms for T-normal Logics. Defining K45, KB4, KD45 and S5 without Using Modal Rules |
| title_sort | some additional axioms for t normal logics defining k45 kb4 kd45 and s5 without using modal rules |
| topic | modal logic t-normal logics kripke-style semantics |
| url | https://czasopisma.uni.lodz.pl/bulletin/article/view/22813 |
| work_keys_str_mv | AT andrzejpietruszczak someadditionalaxiomsfortnormallogicsdefiningk45kb4kd45ands5withoutusingmodalrules |