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 >

Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic

Files in This Item:
12_Su_Sano.pdf119.97 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/76678

Title: Cut-free and Analytic Sequent Calculus of First-Order Intuitionistic Epistemic Logic
Authors: Su, Youan Browse this author
Sano, Katsuhiko Browse this author →KAKEN DB
Issue Date: 2019
Start Page: 073
End Page: 075
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/76678
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