Title
A model existence theorem in infinitary propositional modal logic
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 Segerberg1577245.32