 | 2012 |
|---|
| 55 |       | Norihiro Kamide:
Bounded linear-time temporal logic: A proof-theoretic investigation.
Ann. Pure Appl. Logic 163(4): 439-466 (2012) |
| 54 | | Norihiro Kamide,
Heinrich Wansing:
Proof theory of Nelson's paraconsistent logic: A uniform perspective.
Theor. Comput. Sci. 415: 1-38 (2012) |
| 2011 |
|---|
| 53 | | Norihiro Kamide:
Paraconsistent Semantics for Description Logics: A Comparison.
KES (1) 2011: 599-608 |
| 52 | | Norihiro Kamide:
On Temporal Gödel-Gentzen Translation.
KES (2) 2011: 225-234 |
| 51 | | Norihiro Kamide:
A Decidable First-Order Logic for Medical Reasoning.
KES (2) 2011: 235-245 |
| 50 | | Norihiro Kamide:
Interpolation Theorems for Some Extended Description Logics.
KES (2) 2011: 246-255 |
| 49 | | Norihiro Kamide,
Heinrich Wansing:
Completeness and cut-elimination theorems for trilattice logics.
Ann. Pure Appl. Logic 162(10): 816-835 (2011) |
| 48 | | Norihiro Kamide,
Heinrich Wansing:
A Paraconsistent Linear-time Temporal Logic.
Fundam. Inform. 106(1): 1-23 (2011) |
| 47 | | Ken Kaneiwa,
Norihiro Kamide:
Conceptual modeling in full computation-tree logic with sequence modal operator.
Int. J. Intell. Syst. 26(7): 636-651 (2011) |
| 46 | | Norihiro Kamide:
Concept Finding Proofs.
JACIII 15(7): 777-784 (2011) |
| 45 | | Norihiro Kamide:
Phase semantics for linear-time formalism.
Logic Journal of the IGPL 19(1): 121-143 (2011) |
| 44 | | Norihiro Kamide:
Notes on Craig interpolation for LJ with strong negation.
Math. Log. Q. 57(4): 395-399 (2011) |
| 43 | | Ken Kaneiwa,
Norihiro Kamide:
Paraconsistent Computation Tree Logic.
New Generation Comput. 29(4): 391-408 (2011) |
| 42 | | Heinrich Wansing,
Norihiro Kamide:
Synchronized Linear-Time Temporal Logic.
Studia Logica 99(1-3): 365-388 (2011) |
| 2010 |
|---|
| 41 | | Norihiro Kamide,
Ken Kaneiwa:
Resource-Sensitive Reasoning with Sequential Information.
Australasian Conference on Artificial Intelligence 2010: 22-31 |
| 40 | | Norihiro Kamide:
A Compatible Approach to Temporal Description Logics.
Description Logics 2010 |
| 39 | | Norihiro Kamide:
Paraconsistent Description Logics Revisited.
Description Logics 2010 |
| 38 |  | Norihiro Kamide,
Ken Kaneiwa:
Paraconsistent Negation and Classical Negation in Computation Tree Logic.
ICAART (1) 2010: 464-469 |
| 37 | | Norihiro Kamide:
Branching-time Versus Linear-time - A Cooperative and Feasible Approach.
ICAART (1) 2010: 522-526 |
| 36 | | Norihiro Kamide:
Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL.
ICAART (1) 2010: 536-539 |
| 35 | | Norihiro Kamide:
A Proof System for Time-Dependent Multi-agents.
KES (1) 2010: 178-187 |
| 34 | | Norihiro Kamide:
A Logic for Incomplete Sequential Information.
KES (2) 2010: 153-162 |
| 33 | | Norihiro Kamide:
Completeness for Generalized First-Order LTL.
KI 2010: 246-254 |
| 32 | | Norihiro Kamide:
A Sequent Calculus for 3-Dimensional Space.
SBIA 2010: 263-272 |
| 31 | | Norihiro Kamide:
A Proof System for Temporal Reasoning with Sequential Information.
SBIA 2010: 283-292 |
| 30 | | Norihiro Kamide:
A Logic for Conceptual Hierarchies.
SBIA 2010: 303-312 |
| 29 | | Ken Kaneiwa,
Norihiro Kamide:
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.
Applied Artificial Intelligence 24(10): 896-913 (2010) |
| 28 | | Norihiro Kamide,
Heinrich Wansing:
Combining linear-time temporal logic with constructiveness and paraconsistency.
J. Applied Logic 8(1): 33-61 (2010) |
| 27 | | Heinrich Wansing,
Norihiro Kamide:
Intuitionistic Trilattice Logics.
J. Log. Comput. 20(6): 1201-1229 (2010) |
| 26 | | Norihiro Kamide:
Dynamic Non-Commutative Logic.
Journal of Logic, Language and Information 19(1): 33-51 (2010) |
| 2009 |
|---|
| 25 | | 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 |
| 24 | | Norihiro Kamide:
Proof Systems Combining Classical and Paraconsistent Negations.
Studia Logica 91(2): 217-238 (2009) |
| 2008 |
|---|
| 23 | | Norihiro Kamide:
Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.
CLIMA 2008: 57-76 |
| 22 | | Norihiro Kamide:
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.
JELIA 2008: 245-257 |
| 2007 |
|---|
| 21 | | Norihiro Kamide:
Towards a theory of resource: an approach based on soft exponentials.
Journal of Applied Non-Classical Logics 17(1): 63-89 (2007) |
| 20 | | Norihiro Kamide:
Synthesized substructural logics.
Math. Log. Q. 53(3): 219-225 (2007) |
| 2006 |
|---|
| 19 | | Norihiro Kamide:
Foundations of Paraconsistent Resolution.
Fundam. Inform. 71(4): 419-441 (2006) |
| 18 | | Norihiro Kamide:
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation.
Journal of Logic, Language and Information 15(4): 371-401 (2006) |
| 17 | | Norihiro Kamide:
Linear and affine logics with temporal, spatial and epistemic operators.
Theor. Comput. Sci. 353(1-3): 165-207 (2006) |
| 2005 |
|---|
| 16 | | Norihiro Kamide:
Linear Logics with Communication-merge.
J. Log. Comput. 15(1): 3-20 (2005) |
| 15 | | Norihiro Kamide:
Natural deduction systems for Nelson's paraconsistent logic and its neighbors.
Journal of Applied Non-Classical Logics 15(4): 405-435 (2005) |
| 14 | | Norihiro Kamide:
A spatial modal logic with a location interpretation.
Math. Log. Q. 51(4): 331-341 (2005) |
| 13 | | Norihiro Kamide:
On a logic of involutive quantales.
Math. Log. Q. 51(6): 579-585 (2005) |
| 12 | | Norihiro Kamide:
Gentzen-Type Methods for Bilattice Negation.
Studia Logica 80(2-3): 265-289 (2005) |
| 2004 |
|---|
| 11 | | Norihiro Kamide:
Combining Soft Linear Logic and Spatio-temporal Operators.
J. Log. Comput. 14(5): 625-650 (2004) |
| 10 | | Norihiro Kamide:
Quantized Linear Logic, Involutive Quantales and Strong Negation.
Studia Logica 77(3): 355-384 (2004) |
| 2003 |
|---|
| 9 | | Norihiro Kamide:
Normal Modal Substructural Logics with Strong Negation.
J. Philosophical Logic 32(6): 589-612 (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) |
Data released under the ODC-BY 1.0 license — See also our legal information page