๐ฎ
๐ฎ
The Ethereal
A family of neighborhood contingency logics
September 24, 2018 ยท The Ethereal ยท ๐ Notre Dame J. Formal Log.
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Jie Fan
arXiv ID
1809.09495
Category
math.LO: Logic
Cross-listed
cs.AI
Citations
11
Venue
Notre Dame J. Formal Log.
Last Checked
1 month ago
Abstract
This article proposes the axiomatizations of contingency logics of various natural classes of neighborhood frames. In particular, by defining a suitable canonical neighborhood function, we give sound and complete axiomatizations of monotone contingency logic and regular contingency logic, thereby answering two open questions raised by Bakhtiari, van Ditmarsch, and Hansen. The canonical function is inspired by a function proposed by Kuhn in~1995. We show that Kuhn's function is actually equal to a related function originally given by Humberstone.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic
๐ฎ
๐ฎ
The Ethereal
Dialectical Rough Sets, Parthood and Figures of Opposition-1
๐ฎ
๐ฎ
The Ethereal
Approximations from Anywhere and General Rough Sets
๐ฎ
๐ฎ
The Ethereal
Undecidability of the Lambek calculus with subexponential and bracket modalities
๐ฎ
๐ฎ
The Ethereal
Idempotents in intensional type theory
๐ฎ
๐ฎ
The Ethereal