Year | DOI | Venue |
---|---|---|
1994 | 10.1007/BF01048686 | J. Philosophical Logic |
Keywords | Field | DocType |
Modal Logic, Existence Theorem, Model Existence, Propositional Modal Logic, Model Existence Theorem | Existence theorem,Discrete mathematics,Proposition,Algorithm,Modal logic,Completeness (statistics),Mathematics | Journal |
Volume | Issue | ISSN |
23 | 4 | 1573-0433 |
Citations | PageRank | References |
11 | 2.00 | 1 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Krister Segerberg | 1 | 577 | 245.32 |