Pages that link to "Item:Q5844608"

The following pages link to A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology (Q5844608):

Displayed 17 items.

• Matching topological and frame products of modal logics (Q295921) ‎ (← links)
• A portrait of Alfred Tarski (Q809989) ‎ (← links)
• The modal logic of continuous functions on Cantor space (Q862352) ‎ (← links)
• First-order indefinite and uniform neighbourhood semantics (Q1140625) ‎ (← links)
• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) ‎ (← links)
• The genesis of possible worlds semantics (Q1610613) ‎ (← links)
• A proof of topological completeness for S4 in \((0,1)\) (Q1772779) ‎ (← links)
• A topological approach to full belief (Q2421518) ‎ (← links)
• A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system (Q2462669) ‎ (← links)
• QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE (Q2940883) ‎ (← links)
• GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School (Q4084365) ‎ (← links)
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski (Q4953233) ‎ (← links)
• STABLE MODAL LOGICS (Q4961739) ‎ (← links)
• Strong Completeness of S4 for the Real Line (Q5027240) ‎ (← links)
• Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) ‎ (← links)
• On McKinsey's syntactical characterizations of systems of modal logic (Q5513758) ‎ (← links)
• Which modal logic is the right one? (Q5937846) ‎ (← links)