6 citations · 7 across the 7 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011
Public Announcement Logic in Geometric Frameworks
Can Baskent
In this paper we introduce public announcement logic in different geometric frameworks. First, we consider topological models, and then extend our discussion to a more expressive m…
cs.LO2011★ 6 cited
Paraconsistency and Topological Semantics
Can Baskent
The well-studied notion of deductive explosion describes the situation where any formula can be deduced from an inconsistent set of formulas. Paraconsistent logic, on the other han…