MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Valentin Goranko" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

13 documents found, showing 1 through 10. Next 10 →

ATOM

Proving unprovability in some normal modal logics
by Valentin Goranko, Valentin Goranko — 1991 — Bulletin of the Section of Logic. Polish Academy of Science
…, pp. 23–29] Valentin Goranko PROVING UNPROVABILITY IN SOME NORMAL MODAL LOGIC The present…
Cited by 1 (0 self) – Add To MetaCart

The Basic Algebra of Game Equivalences
by Valentin Goranko — 2000 — Preprint 2000-12, ILLC
…The Basic Algebra of Game Equivalences Valentin Goranko Department of Mathematics, Rand Afrikaans…
Cited by 6 (0 self) – Add To MetaCart

Temporal Logic with Reference Pointers
by Valentin Goranko — Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI
…Temporal Logic with Reference Pointers Valentin Goranko ? Department of Mathematics, University…
Cited by 11 (1 self) – Add To MetaCart

Hierarchies of Modal and Temporal Logics with Reference Pointers
by Valentin Goranko — 1995 — Journal of Logic, Language and Information
…Hierarchies of Modal and Temporal Logics with Reference Pointers Valentin Goranko Department…
Cited by 36 (2 self) – Add To MetaCart

Coalition games and alternating temporal logics
by Valentin Goranko — 2001 — Proceeding of the Eighth Conference on Theoretical Aspects of Rationality and Knowledge (TARK VIII
…Coalition Games and Alternating Temporal Logics Valentin Goranko Department of Mathematics, Rand…
Cited by 23 (1 self) – Add To MetaCart

The Modal Logic of the Countable Random Frame
by Valentin Goranko, Bruce Kapron
…Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Valentin Goranko…
Cited by 2 (1 self) – Add To MetaCart

Sahlqvist Formulas Unleashed in Polyadic Modal Languages
by Valentin Goranko, Dimiter Vakarelov — 2000 — Advances in Modal Logic
…Sahlqvist Formulas Unleashed in Polyadic Modal Languages Valentin Goranko 1 and Dimiter…
Cited by 5 (2 self) – Add To MetaCart

Hybrid Ockhamist Temporal Logic
by Patrick Blackburn, Valentin Goranko — 2001 — Proc. of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01, Cividale del Friuli
…, France patrick@(email omitted); Valentin Goranko Department of Mathematics Rand Afrikaans University…
Cited by 1 (0 self) – Add To MetaCart

Modal Logics for Parallelism, Orthogonality, and Affine Geometries
by Philippe Balbiani, Valentin Goranko
…Modal Logics for Parallelism, Orthogonality, and Ane Geometries Philippe Balbiani 1 and Valentin…
Cited by 2 (1 self) – Add To MetaCart

Sahlqvist Formulas in Hybrid Polyadic Modal Logics
by Valentin Goranko, Dimiter Vakarelov — 2001 — Journal of Logic and Computation
…Sahlqvist Formulas in Hybrid Polyadic Modal Logics Valentin Goranko 1 Dimiter Vakarelov 2 1…
Cited by 8 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB