Two Types of Filtrations for WK4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsc {wK4}}$$\end{document} and Its Relatives
| Title: | Two Types of Filtrations for WK4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\textsc {wK4}}$$\end{document} and Its Relatives |
|---|---|
| Authors: | Kudinov, AndreyAff1, Aff2; Shapirovsky, IlyaAff3, IDs11225025102078_cor1 |
| Source: | Studia Logica: An International Journal for Symbolic Logic. :1-25 |
| Database: | Springer Nature Journals |