Cluster expansion and the boxdot conjecture
نویسندگان
چکیده
منابع مشابه
Cluster expansion and the boxdot conjecture
The boxdot conjecture asserts that every normal modal logic that faithfully interprets T by the well-known boxdot translation is in fact included in T. We confirm that the conjecture is true. More generally, we present a simple semantic condition on modal logics L0 which ensures that the largest logic where L0 embeds faithfully by the boxdot translation is L0 itself. In particular, this natural...
متن کاملThe Boxdot Conjecture and the Language of Essence and Accident
We show the Boxdot Conjecture holds for a limited but familiar range of Lemmon-Scott axioms. We re-introduce the language of essence and accident, first introduced by J. Marcos, and show how it aids our strategy. 1 & In modal logic, the boxdot translation, t, is the following translation: tp = p t? = ? t(φ! ψ) = (tφ! tψ) t φ = ( tφ∧ tφ) Note t...
متن کاملPartial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic
The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.
متن کاملOn Set Expansion Problems and the Small Set Expansion Conjecture
We study two problems related to the Small Set Expansion Conjecture [14]: the Maximum weight m′-edge cover (MWEC ) problem and the Fixed cost minimum edge cover (FCEC ) problem. In the MWEC problem, we are given an undirected simple graph G = (V,E) with integral vertex weights. The goal is to select a set U ⊆ V of maximum weight so that the number of edges with at least one endpoint in U is at ...
متن کاملContinuum coupled-cluster expansion
One of the major endeavors in modern nuclear physics, is the ongoing quest for an effective nuclear many-body theory, a key element in the attempt to extrapolate existing experimental data to regimes which are not currently accessible in the laboratory. Ideally, one would like to begin with the experimental data available from nucleon-nucleon sNNd scattering experiments [1,2] and determine the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2016
ISSN: 0942-5616
DOI: 10.1002/malq.201600036