论文信息 - Many-Valued Modal Propositional Calculi - 字舞流文

Many-Valued Modal Propositional Calculi

Pascal Ostermann | P. Ostermann

[1] Max J. Cresswell,et al. A New Introduction to Modal Logic , 1998 .

[2] Harold T. Hodes. Individual-actualism and three-valued modal logics, part 2: Natural-deduction formalizations , 1987, J. Philos. Log..

[3] Melvin Fitting,et al. A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[4] Harold T. Hodes. Individual-actualism and three-valued modal logics, part 1: Model-theoretic semantics , 1986, J. Philos. Log..