登入選單
Google圖書搜尋
Multi-Dimensional Modal Logic
作者
Maarten Marx / Yde Venema
出版Springer Science & Business Media, 2012-12-06
ISBN
9789401156943 / 9401156948
主題
Philosophy
Knipselmap mei artikels oer en/of fan Yde Venema
作者
Yde Venema / Frysk Letterkundich Museum en Dokumintaesjesintrum / Tresoar
出版19??
ISBN
OCLC:66584052
Finite Model Theory and Its Applications
作者
Erich Grädel / Phokion G. Kolaitis / Leonid Libkin / Maarten Marx / Joel Spencer / Moshe Y. Vardi / Yde Venema / Scott Weinstein
出版Springer Science & Business Media, 2007-06-04
ISBN
9783540688044 / 3540688048
主題
Computers
Erdös Graphs Resolve Fine's Canonicity Problem
作者
Robert Goldblatt / Ian Hodkinson / Yde Venema
出版2003
ISBN
OCLC:249799762
Modal Logic
作者
Patrick Blackburn / Maarten de Rijke / Yde Venema
出版Cambridge University Press, 2001
ISBN
0521527147 / 9780521527149
主題
Computers
Many-dimensional Modal Logic
作者
Yde Venema
出版1991
ISBN
STANFORD:36105043412100
主題
Algebra
Stone Coalegebras
作者
Clemens Kupke / Alexander Kurz / Yde Venema
出版2003
ISBN
OCLC:66718272
A Modal Logic of Relations
作者
Yde Venema / Maarten Johannes Marx
出版1995
ISBN
OCLC:69014696
Dynamic Squares
作者
Patrick Blackburn / Yde Venema
出版1993
ISBN
9039301077 / 9789039301074
Duals of Subdirectly Irreducible Modal Algebras
作者
Yde Venema
出版2002
ISBN
OCLC:51694070
Erds Graphs Resolve Fine's Canonicity Problem
作者
Robert Goldblatt / Ian Hodkinson / Yde Venema
出版2003
ISBN
OCLC:66538224
Q-algebras
作者
Vera Stebletsova / Yde Venema
出版1997
ISBN
9039316317 / 9789039316313
A Model Logic of Quantifications and Substitution
作者
Yde Venema
出版1993
ISBN
OCLC:897888282
Canonical Varities with No Canonical Axiomatisatio...
作者
Ian Hodkinson / Yde Venema
出版2003
ISBN
OCLC:249099356
Meeting Strength in Subcultural Logics
作者
Yde Venema / Rijksuniversiteit te Utrecht. Onderzoeksinstituut voor Taal en Spraak
出版1993
ISBN
OCLC:606495617
Local Variations on a Loose Theme
作者
Maarten Marx / Yde Venema
出版2000
ISBN
OCLC:67435639
A Modal Logic of Quantification and Substitution
作者
Yde Venema
出版1993
ISBN
9039304009 / 9789039304006
Atomless Varieties
作者
Yde Venema
出版2002
ISBN
OCLC:51694383
Meeting Strength in Substructural Logics
作者
Yde Venema
出版1993
ISBN
OCLC:66152419
Atom Structures and Sahlqvist Equations
作者
Yde Venema / Victoria University of Wellington. Mathematics Department
出版1996
ISBN
OCLC:154239191
主題
Boolean algebras
The Preservation of Sahlqvist Equations in Complet...
作者
Steven Givant / Yde Venema
出版1998
ISBN
OCLC:68026406
Expressiveness and Completeness of an Interval Ten...
作者
Universiteit van Amsterdam. Instituut voor Taal, Logica en Informatie / Yde Venema
出版1988
ISBN
OCLC:123322060
主題
Logic, Symbolic and mathematical
Axiomatizing Complex Algebras by Games
作者
Ian Hodkinson / Szabolcs Mikulás / Yde Venema
出版2000
ISBN
OCLC:67627229
Modal Derivation Rules
作者
Yde Venema
出版1991
ISBN
OCLC:65909251
Cylindric Modal Logic
作者
Yde Venema
出版1993
ISBN
9039303908 / 9789039303900
A Sahlqvist Theorem for Distributiv Modal Logic
作者
Mai Gehrke / Hideo Nagahashi / Yde Venema
出版2002
ISBN
OCLC:51694042
A Sahlqvist Theorem for Distributive Modal Logic
作者
Mai Gehrke / Hideo Nagahashi / Yde Venema
出版2002
ISBN
OCLC:66925996
Special Issue on Modal Logic and Dynamics
作者
Yde Veneman
出版1997
ISBN
OCLC:255190738
Expressiveness and Completeness of an Interval Ten...
作者
Universiteit van Amsterdam. Instituut voor Taal, Logica en Informatie / Yde Venema
出版1988
ISBN
OCLC:123322060
主題
Logic, Symbolic and mathematical
Rectangular Games
作者
Yde Venema / Victoria University of Wellington. Mathematics Department
出版1996
ISBN
OCLC:154252972
主題
Algebra