- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j46 |      | Norihiro Kamide: Inconsistency-Tolerant Bunched Implications. Int. J. Approx. Reasoning 54(2): 343-353 (2013) |
| j45 | | Norihiro Kamide: Strong normalization in some temporal substructural logics. J. Log. Comput. 23(1): 1-24 (2013) |
| j44 | | Norihiro Kamide: Temporal Gödel-Gentzen and Girard translations. Math. Log. Q. 59(1-2): 66-83 (2013) |
| 2012 | ||
| j43 | | Norihiro Kamide: Bounded linear-time temporal logic: A proof-theoretic investigation. Ann. Pure Appl. Logic 163(4): 439-466 (2012) |
| j42 | | Norihiro Kamide: Embedding-based approaches to paraconsistent and temporal description logics. J. Log. Comput. 22(5): 1097-1124 (2012) |
| j41 | | Norihiro Kamide: Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Reports on Mathematical Logic 47: 29-61 (2012) |
| j40 | | Norihiro Kamide: Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking. T. Computational Collective Intelligence 6: 181-201 (2012) |
| j39 | | Norihiro Kamide, Heinrich Wansing: Proof theory of Nelson's paraconsistent logic: A uniform perspective. Theor. Comput. Sci. 415: 1-38 (2012) |
| 2011 | ||
| j38 | | Norihiro Kamide, Heinrich Wansing: Completeness and cut-elimination theorems for trilattice logics. Ann. Pure Appl. Logic 162(10): 816-835 (2011) |
| j37 | | Norihiro Kamide, Heinrich Wansing: A Paraconsistent Linear-time Temporal Logic. Fundam. Inform. 106(1): 1-23 (2011) |
| j36 | | Norihiro Kamide: Phase semantics for linear-time formalism. Logic Journal of the IGPL 19(1): 121-143 (2011) |
| j35 | | Ken Kaneiwa, Norihiro Kamide: Conceptual modeling in full computation-tree logic with sequence modal operator. Int. J. Intell. Syst. 26(7): 636-651 (2011) |
| j34 | | |
| j33 | | Norihiro Kamide: Notes on Craig interpolation for LJ with strong negation. Math. Log. Q. 57(4): 395-399 (2011) |
| j32 | | Ken Kaneiwa, Norihiro Kamide: Paraconsistent Computation Tree Logic. New Generation Comput. 29(4): 391-408 (2011) |
| j31 | | |
| j30 | | Heinrich Wansing, Norihiro Kamide: Synchronized Linear-Time Temporal Logic. Studia Logica 99(1-3): 365-388 (2011) |
| c19 | | |
| c18 | | |
| c17 | | |
| c16 | | Norihiro Kamide: Paraconsistent Semantics for Description Logics: A Comparison. KES (1) 2011: 599-608 |
| 2010 | ||
| j29 | | Ken Kaneiwa, Norihiro Kamide: Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Applied Artificial Intelligence 24(10): 896-913 (2010) |
| j28 | | Norihiro Kamide, Heinrich Wansing: Combining linear-time temporal logic with constructiveness and paraconsistency. J. Applied Logic 8(1): 33-61 (2010) |
| j27 | | Norihiro Kamide: Dynamic Non-Commutative Logic. Journal of Logic, Language and Information 19(1): 33-51 (2010) |
| j26 | | Heinrich Wansing, Norihiro Kamide: Intuitionistic Trilattice Logics. J. Log. Comput. 20(6): 1201-1229 (2010) |
| j25 | | Norihiro Kamide: Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems. Reports on Mathematical Logic 45: 3-21 (2010) |
| c15 | | Norihiro Kamide, Ken Kaneiwa: Resource-Sensitive Reasoning with Sequential Information. Australasian Conference on Artificial Intelligence 2010: 22-31 |
| c14 | | |
| c13 | | |
| c12 |  | Norihiro Kamide, Ken Kaneiwa: Paraconsistent Negation and Classical Negation in Computation Tree Logic. ICAART (1) 2010: 464-469 |
| c11 | | Norihiro Kamide: Branching-time Versus Linear-time - A Cooperative and Feasible Approach. ICAART (1) 2010: 522-526 |
| c10 | | Norihiro Kamide: Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. ICAART (1) 2010: 536-539 |
| c9 | | |
| c8 | | |
| c7 | | |
| c6 | | |
| c5 | | Norihiro Kamide: A Proof System for Temporal Reasoning with Sequential Information. SBIA 2010: 283-292 |
| c4 | | |
| 2009 | ||
| j24 | | Norihiro Kamide: Proof Systems Combining Classical and Paraconsistent Negations. Studia Logica 91(2): 217-238 (2009) |
| c3 | | 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 | ||
| j23 | | Motohiko Mouri, Norihiro Kamide: Strong Normalizability of Typed Lambda-Calculi for Substructural Logics. Logica Universalis 2(2): 189-207 (2008) |
| c2 | | 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 |
| c1 | | Norihiro Kamide: Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. JELIA 2008: 245-257 |
| 2007 | ||
| j22 | | Norihiro Kamide: Towards a theory of resource: an approach based on soft exponentials. Journal of Applied Non-Classical Logics 17(1): 63-89 (2007) |
| j21 | | Norihiro Kamide: A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic Programming. Journal of Functional and Logic Programming 2007 (2007) |
| j20 | | |
| 2006 | ||
| j19 | | |
| j18 | | Norihiro Kamide: Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. Journal of Logic, Language and Information 15(4): 371-401 (2006) |
| j17 | | Norihiro Kamide: Linear and affine logics with temporal, spatial and epistemic operators. Theor. Comput. Sci. 353(1-3): 165-207 (2006) |
| 2005 | ||
| j16 | | Norihiro Kamide: Natural deduction systems for Nelson's paraconsistent logic and its neighbors. Journal of Applied Non-Classical Logics 15(4): 405-435 (2005) |
| j15 | | |
| j14 | | Norihiro Kamide: A spatial modal logic with a location interpretation. Math. Log. Q. 51(4): 331-341 (2005) |
| j13 | | |
| j12 | | |
| 2004 | ||
| j11 | | Norihiro Kamide: Combining Soft Linear Logic and Spatio-temporal Operators. J. Log. Comput. 14(5): 625-650 (2004) |
| j10 | | Norihiro Kamide: Quantized Linear Logic, Involutive Quantales and Strong Negation. Studia Logica 77(3): 355-384 (2004) |
| 2003 | ||
| j9 | | Norihiro Kamide: Normal Modal Substructural Logics with Strong Negation. J. Philosophical Logic 32(6): 589-612 (2003) |
| j8 | | Norihiro Kamide: Classical linear logics with mix separation principle. Math. Log. Q. 49(2): 201-209 (2003) |
| j7 | | |
| 2002 | ||
| j6 | | Norihiro Kamide: Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. Logic Journal of the IGPL 10(6): 653-678 (2002) |
| j5 | | Norihiro Kamide: Substructural Logics with Mingle. Journal of Logic, Language and Information 11(2): 227-249 (2002) |
| j4 | | Norihiro Kamide: Kripke Semantics for Modal Substructural Logics. Journal of Logic, Language and Information 11(4): 453-470 (2002) |
| j3 | | Norihiro Kamide: Relevance Principle for Substructural Logics with Mingle and Strong Negation. J. Log. Comput. 12(6): 913-928 (2002) |
| j2 | | Norihiro Kamide: A Canonical Model Construction for Substructural Logics with Strong Negation. Reports on Mathematical Logic 36: 95-116 (2002) |
| 1999 | ||
| j1 | | Ryo Kashima, Norihiro Kamide: Substructural Implicational Logics Including the Relevant Logic E. Studia Logica 63(2): 181-212 (1999) |
| 1 | Ken Kaneiwa | |
| 2 | Ryo Kashima | |
| 3 | Motohiko Mouri | |
| 4 | Heinrich Wansing |
Data released under the ODC-BY 1.0 license — See also our legal information page