Sciweavers

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

95

Voted

LOGCOM
2008

79views more LOGCOM 2008»

General Models and Completeness of First-Order Modal µ-calculus

15 years 2 months ago

General Models and Completeness of First-Order Modal µ-calculus

Download dspace.wul.waseda.ac.jp

Ryo Kashima, Keishi Okamoto

Real-time Traffic

LOGCOM 2008 |

claim paper

Related Content

» FirstOrder Conditional Logic Revisited

» FirstOrder and Temporal Logics for Nested Words

» A Finite Model Construction for Coalgebraic Modal Logic

» A General Semantics for Quantified Modal Logic

» Modal Logic over Higher Dimensional Automata

» Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic

» Firstorder classical modal logic applications in logics of knowledge and probability

» Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces

» A New Modal Approach to the Logic of Intervals

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2008
Where	LOGCOM
Authors	Ryo Kashima, Keishi Okamoto

Comments (0)