 |
|
|
|
E-mail: |
litak--delete this part--@jaist.ac.jp |
Status: |
Post-doc researcher, Ono Laboratory |
Education: |
PhD in Information Science, JAIST 2005
|
Interests: |
Algebraic, topological and Kripke
semantics for modal logic: completeness, definability,
persistence.
|
Hybrid logic. Superintuitionistic logics. Algebraic
theory of completions |
From May 2007, one year post-doc at the ILPS (Information and Language
Processing Systems) group at the ISLA (Intelligent Systems Lab Amsterdam),
Informatics Institute, UvA (University of Amsterdam) supported by
the Rubicon program of the NWO (Netherlands Organization for Scientific Research). |
