17-18 March 2011
Nomi, Japan
Asian Workshop on Philosophical Logic
"Asian Workshop on Philosophical Logic" will be held at Research Center
for Integrated Science (RCIS), Japan Advanced Institute of Science and
Technology (JAIST) on 17th and 18th March, 2011. Our aim is to promote
mutual understandings among researchers on logic working in Asian
countries, and to establish closer collaborations in future. The scope of
the Workshop will cover:
philosophical logic, non-classical logics, algebraic logic, and their
applications in computer science and cognitive science
During the Workshop, we will have a special session of discussions on
future collaborations, in particular on research, education and exchange
of researchers in our region.
The workshop will start from 9:30 of 17th March and will end in the
afternoon of 18th. The venue is at the RCIS seminar room of the 3rd floor
of Multidisciplinary Research Center Bldg. of JAIST, which is indicated as
No.28 in the map of JAIST:
http://www.jaist.ac.jp/english/campus/index.html
We welcome your participation in both talks and discussions from all areas
and all levels.
===============
Organizers
Hiroakira Ono ono@jaist.ac.jp
Norbert Preining preining@jaist.ac.jp
Research Center for Integrated Science
Japan Advanced Institute of Science and Technology
Nomi, Ishikawa, 923-1292 Japan
===============
Program
March 17:
9:30 - 9:40
Opening
9:40 - 10:20
* Fenrong Liu (Tsinghua Univ., China) : Reasoning about Preference Dynamics
10:20 - 10:30 Break
10:30 - 11:50
* Ching-hui Su (Academia Sinica, Taiwan) : The Generalized Triviality
Result
* Katsuhiko Sano (Kyoto Univ., Japan) : Product of Hybrid Logics
11:50 -13:00 Lunch break
13:00 -15:00
* Chin-mu Yang (National Taiwan Univ., Taiwan) : Belief, Knowledge, and
Assertion: From
a Modal Perspective
* Xin Li (JAIST, Japan) : Model Checking Pushdown Systems and Practical
Applications
* Takahiro Seki (Niigata Univ., Japan) : Recent Topics on Relevant Modal
Logics
15:00 -15:30 Break
15:30 -16:50
* Hu Liu (Sun Yat-sen Univ., China) : Simulative Belief Logic
* Jose Gil Ferez (JAIST, Japan) : A Glance through Abstract Algebraic
Logic
--------------------
March 18:
9:30 - 10:10
* Wen-fang Wang (National Yang Ming Univ., Taiwan) : On Priest's Solutions
to the Sorites
Paradox
10:10 - 10:30 Break
10:30 - 11:50
* Milan Petrik (JAIST, Japan) : Web-geometric View on Fuzzy Logic
* Kaile Su (Griffith Univ., Australia/Beijing Univ., China) : Logic for
Agents with Defective
Observation
11:50 -13:00 Lunch break
13:00 - 15:00
Special Session
15:00 - 15:10
Closing