03 Mathematical logic and foundations
03B45 Modal logic (12 articles)
-
Mattila, Jorma K.:
Modified modus ponens and modal logic.
(English).
Kybernetika,
vol. 28
(1992),
issue 7,
pp. 28-32
-
Šajda, Jozef:
Using the possibility theory in fuzzy temporal reasoning.
(English).
Kybernetika,
vol. 28
(1992),
issue 7,
pp. 21-24
-
Štěpán, Jan:
Individualised normative logic.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 28
(1989),
issue 1,
pp. 265-275
-
Štěpán, Jan:
Time conditional propositions.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 27
(1988),
issue 1,
pp. 355-363
-
Rachůnek, Jiří:
Modal operators on ordered sets.
(English).
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica,
vol. 24
(1985),
issue 1,
pp. 9-14
-
Krajíček, Jan:
A possible modal reformulation of comprehension scheme.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 24
(1983),
issue 2,
pp. 387-388
-
Bendová, Kamila; Hájek, Petr:
A logical analysis of the truth-reaction paradox.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 23
(1982),
issue 4,
pp. 699-713
-
Hauschild, Kurt:
Model-theoretic properties of cause-and-effect structures.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 23
(1982),
issue 3,
pp. 541-555
-
Hájek, Petr:
On interpretability in theories containing arithmetic. II.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 667-688
-
Bendová, Kamila:
On the relation of three-valued logic to modal logic.
(English).
Commentationes Mathematicae Universitatis Carolinae,
vol. 22
(1981),
issue 4,
pp. 637-653
-
Hájek, Petr; Kalášek, Pavel; Kůrka, Petr:
O dynamické logice.
(Czech) [On dynamic logic].
Kybernetika,
vol. 16
(1980),
issue 7,
pp. (1),3-41
-
Tondl, Ladislav:
Sémantika otázky v problémové situaci.
(Czech) [Semantics of the question in the problem-solving situation].
Kybernetika,
vol. 4
(1968),
issue 4,
pp. (295)-317