17 search results - page 4 / 4 » Countermodels from Sequent Calculi in Multi-Modal Logics |
TCS
2008
13 years 5 months ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
ENTCS
2010
13 years 5 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...