van Ditmarsch Hans について
CNRS, LORIA, University of Lorraine, Nancy, France について
CNRS, LORIA, University of Lorraine, Nancy, France について
Kuijer Louwe B. について
University of Liverpool, Liverpool, UK について
Sedlar Igor について
Institute of Computer Science, Czech Academy of Sciences, Prague, Czech Republic について
Lecture Notes in Computer Science について
量子化器 について
命題 について
様相論理 について
含意 について
名詞 について
モダリティ について
表現力 について
人工知能 について
論理代数 について
表現性 について