Work

Goldblatt-Thomason Theorem for Probability Logic

Year: 2026

Type: article

Abstract: Probability logic (PL) extends propositional logic with countably many probability operators, one for each rational number between 0 and 1.The formulas of this logic are interpreted over the class of Markov processes, i.e., structures of the form ⟨Ω,Σ,T ⟩, where ⟨Ω,Σ⟩ is a measurable space and T is a Markov kernel.The main contribution of this paper is the establishment of the Goldblatt-Thomason theorem for probability logic.As an application, we show that the class of Harsanyi type spaces is definable in PL.Moreover, we obtain some variants of the Goldblatt-Thomason theorem for specific subclasses of Markov processes.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.447.12

Authors: Somayeh Chopoghloo, Massoud Pourmahdian, Reihane Zoghifard

Institutions: Institute for Research in Fundamental Sciences, Amirkabir University of Technology

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

Funders: National Science Foundation, Iran National Science Foundation

OpenAlex ID: W7166469604