Hiroyuki Shirasu

According to our database1, Hiroyuki Shirasu authored at least 2 papers between 1996 and 1999.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
On the Finite Model Property of Intuitionistic Modal Logics over MIPC.
Math. Log. Q., 1999

1996
Duality in Superintuitionistic and Modal Predicate Logics.
Proceedings of the Advances in Modal Logic 1, 1996


  Loading...