Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

APAL
2005

favoriteEmaildiscussreport

62views more APAL 2005»

A proof of topological completeness for S4 in (0, 1)

13 years 10 months ago

A proof of topological completeness for S4 in (0, 1)

Download theory.stanford.edu

Grigori Mints, Ting Zhang

Real-time Traffic

APAL 2005 |

claim paper

Related Content

» The modal logic of continuous functions on cantor space

» The logic of proofs semantically

» From topology to metric modal logic and quantification in metric spaces

» On Deciding Topological Classes of Deterministic Tree Languages

» Topological Reasoning and The Logic of Knowledge

» How to Complete a Doubling Metric

» The Complexity of Orbits of Computably Enumerable Sets

» History and Future of Implicit and Inductionless Induction Beware the Old Jade and the Zom...

» A ProofProducing Decision Procedure for Real Arithmetic

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2005
Where	APAL
Authors	Grigori Mints, Ting Zhang

Comments (0)