93 citations · 113 across the 6 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2011★ 12 cited
A system of relational syllogistic incorporating full Boolean reasoning
Nikolay Ivanov, Dimiter Vakarelov
We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some A are R-related to some B; Some A are R-related…
cs.LO2006★ 93 cited
Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
Willem Conradie, Valentin Goranko, Dimiter Vakarelov
Modal formulae express monadic second-order properties on Kripke frames, but in many important cases these have first-order equivalents. Computing such equivalents is important for…