Vol. 31 No. 3 (2022): September

View Vol. 31 No. 3 (2022): September
Table of contents
Vol. 31 No. 3 (2022): September
Tuesday, Aug 9, 2022
This issue table of contents
Articles
Dynamic Probabilistic Entailment. Improving on Adams' Dynamic Entailment Relation
Robert van Rooij, Patricia Mirabile
359-384
PDF
Logics for Knowability
Mo Liu, Jie Fan, Hans van Ditmarsch, Louwe B. Kuijer
385-426
PDF
S5-Style Non-Standard Modalities in a Hypersequent Framework
Yaroslav Petrukhin
427-456
PDF
Topology of Modal Propositions Depicted by Peirce’s Gamma Graphs: Line, Square, Cube, and Four-Dimensional Polyhedron
Jorge Alejandro Flórez
457-470
PDF
Analysis of Penrose’s Second Argument Formalised in DTK System
Antonella Corradini, Sergio Galvan
471-500
PDF
Informal Provability, First-Order BAT Logic and First Steps Towards a Formal Theory of Informal Provability
Pawel Pawlowski, Rafal Urbaniak
501-527
PDF