.:. Browse > Domain list > Logic .:.

89 documents ordered by : Date Title first author name document type Submit date

... 3 - 4 - 5 - 6 - 7 - 8 - 9

Topological Semantics and Decidability Sustretov D. (2007) [hal-00134914 - version 1]

An Example of Pi^0_3-complete Infinitary Rational Relation Finkel O. Computer Science Journal of Moldova 15, 1 (2007) 3-21 [ensl-00130246 - version 1]

Modal Languages for Topology: Expressivity and Definability Cate B. T., Gabelaia D., Sustretov D. [hal-00105443 - version 1]

Analyse non standard du bruit Fliess M. Comptes-Rendus de l'Académie des Sciences, Série 1, Mathématiques 342, 15 mai 2006 (2006) 797-802 [inria-00001134 - version 1]

What could a Boolean category be? Straßburger L. Dans Classical Logic and Computation 2006 (ICALP Workshop) (2006) [inria-00130504 - version 1]

On the Axiomatisation of Boolean Categories with and without Medial Straßburger L. (2006) [inria-00130508 - version 1]

Handbook of Modal Logic Blackburn P., Van Benthem J., Wolter F. Springer (Ed.) (2006) [inria-00120237 - version 1]

Learn Prolog Now! Blackburn P., Bos J., Striegnitz K. College Publications (Ed.) (2006) 284 [inria-00119862 - version 1]

Modal logic: a Semantic Perspective Blackburn P., Van Benthem J. Dans Handbook of Modal Logic, Elsevier (Ed.) (2006) 1-82 [inria-00119856 - version 1]

Pure Extensions, Proof Rules, and Hybrid Axiomatics Blackburn P., Ten Cate B. Studia Logica 84, 2 (2006) 277-322 [inria-00119855 - version 1]