Searching for "Sequent-Systems for Modal Logic." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Deep Sequent Systems for Modal Logic
- …Deep Sequent Systems for Modal Logic Kai Brünnler abstract. We see a systematic set of cut…
- Cited by 4 (1 self) – Add To MetaCart
-
A Labelled Sequent System for Tense Logic K t
- …, lean deduction, sequent system, tense logic. Introduction Modal and temporal logics are widely used…
- Cited by 1 (0 self) – Add To MetaCart
-
A New Method for Bounding the Complexity of Modal Logics
- … here. In x3 we show how contraction can be bounded in our sequent systems for the modal logics K and T…
- Cited by 12 (2 self) – Add To MetaCart
Showing 1 through 3.
