# zbMATH — the first resource for mathematics

“Everywhere” and “here”. (English) Zbl 0993.03020
Summary: The paper studies propositional logics in a bimodal language in which the first modality is interpreted as local truth and the second as universal truth. The logic S4UC is introduced which is finitely axiomatizable, has the finite model property and is determined by every connected separable metric space.

##### MSC:
 03B45 Modal logic (including the logic of norms)
Full Text:
##### References:
 [1] GARGOV, G., PASSY, S. and TINCHEV, T. 1986. ”Modal environment for Boolean speculations. In: ”Mathematical logic and its applications (Druzhba”. ” 253–263. Plenum Press, 1987 [2] GORANKO, V. and PASSY, S. 1992. ”Using the universal modality: gains and questions. Journal of Logic and Computation v.2”. 5–30. · Zbl 0774.03003 [3] SCOTT, D. 1970. ”Advice on modal logic. In: ”Philosophical Problems in Logic. Some Recent Developments ””. Edited by: LAMBERT, K. 143–172. Reidel. [4] CHAGROV A. V., Modal logic. (1996) [5] BOURBAKI N., General topology, parts I, II. (1966) [6] GERSON N., v. 34 pp 333– (1975) [7] SHEHTMAN, V. B. 1980. ”Topological models of propositional logics. Semiotika i informatika, No.15”. 74–98. (in Russian) [8] VAN, BENTHEM J. 1983. ”The logic of time. Reidel”. [9] RASIOWA, H. and SIKORSKI, R. 1963. ”The mathematics of metamathematics. Warsaw”. · Zbl 0122.24311 [10] MCKINSEY J., v. 45 pp 141– (1944) [11] SHEHTMAN, V. B. 1982. Modal logic with connectives ”Everywhere” and ”Here”. In: Modal and Intensional Logics. Abstracts of the BthAll-Union Conference in Logic and Methodology of Science, Vilnius, p.124- 126.(In Russian)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.