The general induction principle
M. S. Popadić (1959)
Matematički Vesnik
Similarity:
M. S. Popadić (1959)
Matematički Vesnik
Similarity:
M. S. Popadić (1965)
Matematički Vesnik
Similarity:
Miodrag Kapetanović, Aleksandar Krapež (1989)
Publications de l'Institut Mathématique
Similarity:
Miodrag Kapetanović (1981)
Publications de l'Institut Mathématique
Similarity:
Janusz Ciuciura (2017)
Bulletin of the Section of Logic
Similarity:
In 1953, Jerzy Kalinowski published his paper on the logic of normative sentences. The paper is recognized as one of the first publications on the formal system of deontic logic. The aim of this paper is to present a tableau system for Kalinowski’s deontic logic and to discuss some of the topics related to the paradoxes of deontic logic.
Miodrag Rašković, Radosav Đorđević, Zoran Marković (2001)
Publications de l'Institut Mathématique
Similarity:
H. T. Goranson, Sirius-Beta (1999)
Visual Mathematics
Similarity:
R. Kulesza (1970)
Applicationes Mathematicae
Similarity:
Došen, Kosta (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Guido Gherardi, Eugenio Orlandelli (2021)
Bulletin of the Section of Logic
Similarity:
This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the...
Božić, Milan (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Mitio Takano (2020)
Bulletin of the Section of Logic
Similarity:
A modified subformula property for the modal logic KD with the additionalaxiom □ ◊(A ∨ B) ⊃ □ ◊ A ∨ □ ◊B is shown. A new modification of the notion of subformula is proposed for this purpose. This modification forms a natural extension of our former one on which modified subformula property for the modal logics K5, K5D and S4.2 has been shown ([2] and [4]). The finite model property as well as decidability for the logic follows from this.