论文信息 - Maximality in modal logic - 字舞流文

Maximality in modal logic

Harvey M. Friedman | R. C. Flagg | H. Friedman | R. Flagg

[1] Andrzej Grzegorczyk. Some relational systems and the associated topological spaces , 1967 .

[2] Charles D. Parsons,et al. On n-quantifier induction , 1972, Journal of Symbolic Logic.

[3] J. Paris. A Mathematical Incompleteness in Peano Arithmetic , 1977 .

[4] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[5] Robert C. Flagg. Integrating classical and intuitionistic type theory , 1986, Ann. Pure Appl. Log..

[6] Andre Scedrov. Some Properties of Epistemic Set Theory with Collection , 1986, J. Symb. Log..

[7] C. Smorynski. Applications of Kripke models , 1973 .

[8] George Boolos,et al. Provability, truth, and modal logic , 1980, J. Philos. Log..