POINT
发表于 2025-3-25 04:18:54
Becoming Aware of Propositional Variables,We examine a logic that combines knowledge, awareness, and change of awareness. Change of awareness involves that an agent becomes aware of propositional variables. We show that the logic is decidable, and we present a complete axiomatization.
友好
发表于 2025-3-25 08:00:47
Mohua Banerjee,Anil SethState-of-the-art research.Fast-track conference proceedings.Unique visibility
PIZZA
发表于 2025-3-25 13:27:22
http://reply.papertrans.cn/59/5880/587968/587968_23.png
panorama
发表于 2025-3-25 18:36:11
http://reply.papertrans.cn/59/5880/587968/587968_24.png
Negotiate
发表于 2025-3-25 22:30:12
A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity,neral measurable spaces. Bisimilarity is also discussed and shown to be equivalent to logical and behavioral equivalence, provided the base spaces are Polish spaces. We adapt techniques from coalgebraic stochastic logic and point out some connections to Souslin’s operation . from descriptive set theory.
呼吸
发表于 2025-3-26 00:28:56
A Qualitative Approach to Uncertainty,express different levels of uncertainties explicitly in the logical language. After introducing a . modal framework, we discuss the different possibilities of an agent’s attitude towards a proposition that can be expressed in this framework, and provide a preliminary look at the dynamics of the situation.
allude
发表于 2025-3-26 05:54:18
http://reply.papertrans.cn/59/5880/587968/587968_27.png
HAVOC
发表于 2025-3-26 09:09:55
,A Note on Nathanial’s Invariance Principle in Polyadic Inductive Logic,bit a family of basic probability functions satisfying this principle. We conjecture that every probability function satisfying this principle can be approximated arbitrarily closely by a convex combination of these basic solutions.
搜寻
发表于 2025-3-26 13:17:17
Ultrafilter Extensions of Models,orphisms: any homomorphism of . into . extends to a continuous homomorphism of . into .. Moreover, if a model . carries a compact Hausdorff topology which is (in a certain sense) compatible, then any homomorphism of . into . extends to a continuous homomorphism of . into .. This is also true for embeddings instead of homomorphisms.
cumulative
发表于 2025-3-26 20:27:44
Logic in the Community,s, knowledge and preferences. Knowledge, belief, preferences and even the social relationships are constantly changing, and yet our ability to keep track of these changes is an important part of what it means to belong to a community.