17 search results - page 2 / 4 » Countermodels from Sequent Calculi in Multi-Modal Logics |
139
Voted
ISMVL
1993
IEEE
15 years 5 months ago
1993
IEEE
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent...
117
Voted
IGPL
1998
15 years 23 days ago
1998
We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Lig...
131
Voted
CSL
1995
Springer
15 years 4 months ago
1995
Springer
We propose so called contraction free sequent calculi for the three prominent modal logics K, T, and S4. Deduction search in these calculi is shown to provide more efficient decisi...
103
Voted
TABLEAUX
2007
Springer
15 years 7 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
123
Voted
TABLEAUX
2009
Springer
15 years 7 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...