| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Norihiro Kamide, Heinrich Wansing |
Proof theory of Nelson's paraconsistent logic: A uniform perspective.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Bounded linear-time temporal logic: A proof-theoretic investigation. |
Ann. Pure Appl. Logic |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Kaneiwa, Norihiro Kamide |
Conceptual modeling in full computation-tree logic with sequence modal operator. |
Int. J. Intell. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Concept Finding Proofs. |
JACIII |
2011 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Notes on Craig interpolation for LJ with strong negation. |
Math. Log. Q. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Phase semantics for linear-time formalism. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Norihiro Kamide |
Synchronized Linear-Time Temporal Logic. |
Studia Logica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
Completeness and cut-elimination theorems for trilattice logics. |
Ann. Pure Appl. Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
A Paraconsistent Linear-time Temporal Logic. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Kaneiwa, Norihiro Kamide |
Paraconsistent Computation Tree Logic. |
New Generation Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Decidable First-Order Logic for Medical Reasoning. |
KES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Paraconsistent Semantics for Description Logics: A Comparison. |
KES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Interpolation Theorems for Some Extended Description Logics. |
KES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
On Temporal Gödel-Gentzen Translation. |
KES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Kaneiwa, Norihiro Kamide |
Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. |
Applied Artificial Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Norihiro Kamide |
Intuitionistic Trilattice Logics. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Heinrich Wansing |
Combining linear-time temporal logic with constructiveness and paraconsistency. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Dynamic Non-Commutative Logic. |
Journal of Logic, Language and Information |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide, Ken Kaneiwa |
Resource-Sensitive Reasoning with Sequential Information. |
Australasian Conference on Artificial Intelligence |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Paraconsistent Description Logics Revisited. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Compatible Approach to Temporal Description Logics. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Sequent Calculus for 3-Dimensional Space. |
SBIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Logic for Conceptual Hierarchies. |
SBIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Proof System for Temporal Reasoning with Sequential Information. |
SBIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Proof System for Time-Dependent Multi-agents. |
KES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Logic for Incomplete Sequential Information. |
KES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Branching-time Versus Linear-time - A Cooperative and Feasible Approach. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide, Ken Kaneiwa |
Paraconsistent Negation and Classical Negation in Computation Tree Logic. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL. |
ICAART |
2010 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Completeness for Generalized First-Order LTL. |
KI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Proof Systems Combining Classical and Paraconsistent Negations. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Paraconsistent negation, completeness, sequent calculus, cut-elimination |
| 1 | Norihiro Kamide, Ken Kaneiwa |
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Synthesized substructural logics. |
Math. Log. Q. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Towards a theory of resource: an approach based on soft exponentials. |
Journal of Applied Non-Classical Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Linear and affine logics with temporal, spatial and epistemic operators. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation. |
Journal of Logic, Language and Information |
2006 |
DBLP DOI BibTeX RDF |
electric circuit, linear logic with strong negation, Petri net with inhibitor arc, phase semantics, medical diagnosis |
| 1 | Norihiro Kamide |
Foundations of Paraconsistent Resolution. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
On a logic of involutive quantales. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A spatial modal logic with a location interpretation. |
Math. Log. Q. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Natural deduction systems for Nelson's paraconsistent logic and its neighbors. |
Journal of Applied Non-Classical Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Gentzen-Type Methods for Bilattice Negation. |
Studia Logica |
2005 |
DBLP DOI BibTeX RDF |
Bilattice negation, completeness, sequent calculus, substructural logic, strong negation |
| 1 | Norihiro Kamide |
Linear Logics with Communication-merge. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Quantized Linear Logic, Involutive Quantales and Strong Negation. |
Studia Logica |
2004 |
DBLP DOI BibTeX RDF |
involutive quantales, quantization principle, linear logic, strong negation |
| 1 | Norihiro Kamide |
Combining Soft Linear Logic and Spatio-temporal Operators. |
J. Log. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Classical linear logics with mix separation principle. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A note on dual-intuitionistic logic. |
Math. Log. Q. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Normal Modal Substructural Logics with Strong Negation. |
J. Philosophical Logic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
A Canonical Model Construction for Substructural Logics with Strong Negation. |
Reports on Mathematical Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Norihiro Kamide |
Relevance Principle for Substructural Logics with Mingle and Strong Negation. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Substructural Logics with Mingle. |
Journal of Logic, Language and Information |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Kripke Semantics for Modal Substructural Logics. |
Journal of Logic, Language and Information |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Kashima, Norihiro Kamide |
Substructural Implicational Logics Including the Relevant Logic E. |
Studia Logica |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")