Probability logic: A model-theoretic perspective

Pourmahdian, M; Zoghifard, R

Pourmahdian, M (corresponding author), Inst Res Fundamental Sci IPM, Sch Math, POB 19395-5746, Tehran, Iran.; Pourmahdian, M (corresponding author), Amirkabir Univ Technol, Dept Math & Comp Sci, Tehran 15194, Iran.

JOURNAL OF LOGIC AND COMPUTATION, 2021; 31 (2): 393

Abstract

This paper provides some model-theoretic analysis for probability (modal) logic (PL). It is known that this logic does not enjoy the compactness prope......

Full Text Link