Description

• Title:
  On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1
• Creator:
  Pietruszczak, Andrzej
• Contributor:
  Nicolaus Copernicus University in Toruń, Department of Logic, ul. Moniuszki 16, 87–100 Toruń, Poland;
  Andrzej.Pietruszczak@umk.pl
• Description:
  This is the first, out of two papers, in which we identify all logics between C1 and S5 having the same theses without iterated modalities. All these logics canbe divided into certain groups. Each such group depends only on which of thefollowing formulas are theses of all logics from this group: (N), (T), (D), ⌜(T)∨ ☐q⌝,and for any n 0 a formula ⌜(T) ∨ (altn)⌝, where (T) has not the atom ‘q’, and(T) and (altn) have no common atom. We generalize Pollack’s result from [12],where he proved that all modal logics between S1 and S5 have the same theseswhich does not involve iterated modalities (i.e., the same first-degree theses).;
  Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Date:
  2018.04.24;
  2017
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1/2;
  46
• Subject:
  first-degree theses of modal logics;
  theses without iterated modalities;
  Pollack’s theory of Basic Modal Logic;
  basic theories for modal logics between C1 and S5
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/24565 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.09
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image