 | 2009 |
|---|
| 22 |       | Norihiro Kamide,
Ken Kaneiwa:
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.
Australasian Conference on Artificial Intelligence 2009: 485-494 |
| 2008 |
|---|
| 21 | | Norihiro Kamide:
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.
CLIMA IX 2008: 57-76 |
| 20 | | Norihiro Kamide:
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.
JELIA 2008: 245-257 |
| 2007 |
|---|
| 19 | | Norihiro Kamide:
Synthesized substructural logics.
Math. Log. Q. 53(3): 219-225 (2007) |
| 2006 |
|---|
| 18 | | Norihiro Kamide:
Foundations of Paraconsistent Resolution.
Fundam. Inform. 71(4): 419-441 (2006) |
| 17 | | Norihiro Kamide:
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.
Journal of Logic, Language and Information 15(4): 371-401 (2006) |
| 16 | | Norihiro Kamide:
Linear and affine logics with temporal, spatial and epistemic operators.
Theor. Comput. Sci. 353(1-3): 165-207 (2006) |
| 2005 |
|---|
| 15 | | Norihiro Kamide:
Linear Logics with Communication-merge.
J. Log. Comput. 15(1): 3-20 (2005) |
| 14 |  | Norihiro Kamide:
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.
Journal of Applied Non-Classical Logics 15(4): 405-435 (2005) |
| 13 | | Norihiro Kamide:
A spatial modal logic with a location interpretation.
Math. Log. Q. 51(4): 331-341 (2005) |
| 12 | | Norihiro Kamide:
On a logic of involutive quantales.
Math. Log. Q. 51(6): 579-585 (2005) |
| 11 | | Norihiro Kamide:
Gentzen-Type Methods for Bilattice Negation.
Studia Logica 80(2-3): 265-289 (2005) |
| 2004 |
|---|
| 10 | | Norihiro Kamide:
Combining Soft Linear Logic and Spatio-temporal Operators.
J. Log. Comput. 14(5): 625-650 (2004) |
| 9 | | Norihiro Kamide:
Quantized Linear Logic, Involutive Quantales and Strong Negation.
Studia Logica 77(3): 355-384 (2004) |
| 2003 |
|---|
| 8 | | Norihiro Kamide:
Classical linear logics with mix separation principle.
Math. Log. Q. 49(2): 201-209 (2003) |
| 7 | | Norihiro Kamide:
A note on dual-intuitionistic logic.
Math. Log. Q. 49(5): 519-524 (2003) |
| 2002 |
|---|
| 6 | | Norihiro Kamide:
Relevance Principle for Substructural Logics with Mingle and Strong Negation.
J. Log. Comput. 12(6): 913-928 (2002) |
| 5 | | Norihiro Kamide:
Substructural Logics with Mingle.
Journal of Logic, Language and Information 11(2): 227-249 (2002) |
| 4 | | Norihiro Kamide:
Kripke Semantics for Modal Substructural Logics.
Journal of Logic, Language and Information 11(4): 453-470 (2002) |
| 3 | | Norihiro Kamide:
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.
Logic Journal of the IGPL 10(6): 653-678 (2002) |
| 2 | | Norihiro Kamide:
A Canonical Model Construction for Substructural Logics with Strong Negation.
Reports on Mathematical Logic 36: 95-116 (2002) |
| 1999 |
|---|
| 1 | | Ryo Kashima,
Norihiro Kamide:
Substructural Implicational Logics Including the Relevant Logic E.
Studia Logica 63(2): 181-212 (1999) |
