HUSCAP logo Hokkaido Univ. logo
Hokkaido University | Library | HUSCAP
Advanced Search
Home
About HUSCAP
Open Access Policy
 
Browse by Author
 
Browse
Communities
& Collections
 
Scholarly Journals
Theses
Doctoral Dissertations
Listed by Graduate Schools
Conference Procs.
Events
 
HUSCAP Senior
(in Japanese)
 
Societies
 
Downloads (country)
 
For university staff
How to post your
papers to HUSCAP
Publication of theses
Helpline about
theses publication
 
Open Archives Compliant
 
You can search
our collection
also at:
Google
Google Scholar
CiNii
IRDB
OAIster
NDLTD
 

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Humanities and Human Sciences / Faculty of Humanities and Human Sciences >
SOCREAL 2019 : 5th International Workshop on Philosophy and Logic of Social Reality >
Proceedings >

Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge

Files in This Item:
13_Murai_Sano.pdf202.76 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/76677

Title: Sequent Calculi for Multi-Agent Epistemic Logics for Distributed Knowledge
Authors: Murai, Ryo Browse this author
Sano, Katsuhiko Browse this author →KAKEN DB
Issue Date: 2019
Start Page: 076
End Page: 080
Description: 5th International Workshop On Philosophy and Logic of Social Reality. 15-17 November 2019.Hokkaido University, Sapporo, Japan
Conference Name: International Workshop on Philosophy and Logic of Social Reality (SOCREAL) 2019
Conference Sequence: 5
Conference Place: Sapporo
Type: proceedings
URI: http://hdl.handle.net/2115/76677
Appears in Collections:SOCREAL 2019 : 5th International Workshop on Philosophy and Logic of Social Reality > Proceedings

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 
 - Hokkaido University