Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Norihiro Kamide
@article{DBLP:journals/flap/Kamide23,
author = {Norihiro Kamide},
title = {Embedding First-order Classical Logic into Gurevich's Extended First-order
Intuitionistic Logic: The Role of Strong Negation},
journal = {{FLAP}},
volume = {10},
number = {6},
pages = {1025--1058},
year = {2023},
url = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
timestamp = {Mon, 15 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Kamide23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide23,
author = {Norihiro Kamide},
title = {Falsification-Aware Calculi and Semantics for Normal Modal Logics
Including {S4} and {S5}},
journal = {J. Log. Lang. Inf.},
volume = {32},
number = {3},
pages = {395--440},
year = {2023},
url = {https://doi.org/10.1007/s10849-022-09386-7},
doi = {10.1007/S10849-022-09386-7},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide23,
author = {Norihiro Kamide},
title = {Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free
Linear-Time Temporal Logic},
journal = {Stud Logica},
volume = {111},
number = {6},
pages = {979--1014},
year = {2023},
url = {https://doi.org/10.1007/s11225-023-10052-7},
doi = {10.1007/S11225-023-10052-7},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide23,
author = {Norihiro Kamide},
title = {Natural Deduction with Explosion and Excluded Middle},
booktitle = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2023, Matsue, Japan, May 22-24, 2023},
pages = {24--29},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISMVL57333.2023.00016},
doi = {10.1109/ISMVL57333.2023.00016},
timestamp = {Wed, 28 Jun 2023 15:42:21 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide23a,
author = {Norihiro Kamide},
title = {Self-extensional Paradefinite Four-valued Modal Logic Compatible with
Standard Modal Logic},
booktitle = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2023, Matsue, Japan, May 22-24, 2023},
pages = {30--35},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ISMVL57333.2023.00017},
doi = {10.1109/ISMVL57333.2023.00017},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Kamide22,
author = {Norihiro Kamide},
title = {Inconsistency-Tolerant Hierarchical Probabilistic {CTL} Model Checking:
Logical Foundations and Illustrative Examples},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {32},
number = {1},
pages = {131--162},
year = {2022},
url = {https://doi.org/10.1142/S0218194022500061},
doi = {10.1142/S0218194022500061},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Kamide22a,
author = {Norihiro Kamide},
title = {Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant
Subsystems: Theoretical Foundations of Falsification-Aware Model Checking},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {32},
number = {7},
pages = {971--1017},
year = {2022},
url = {https://doi.org/10.1142/S0218194022500371},
doi = {10.1142/S0218194022500371},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijseke/Kamide22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide22,
author = {Norihiro Kamide},
title = {Falsification-Aware Semantics and Sequent Calculi for Classical Logic},
journal = {J. Philos. Log.},
volume = {51},
number = {1},
pages = {99--126},
year = {2022},
url = {https://doi.org/10.1007/s10992-021-09611-x},
doi = {10.1007/S10992-021-09611-X},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide22a,
author = {Norihiro Kamide},
title = {Embedding Friendly First-Order Paradefinite and Connexive Logics},
journal = {J. Philos. Log.},
volume = {51},
number = {5},
pages = {1055--1102},
year = {2022},
url = {https://doi.org/10.1007/s10992-022-09659-3},
doi = {10.1007/S10992-022-09659-3},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Kamide22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Kamide22,
author = {Norihiro Kamide},
title = {An Extended Paradefinite Logic Combining Conflation, Paraconsistent
Negation, Classical Negation, and Classical Implication: How to Construct
Nice Gentzen-type Sequent Calculi},
journal = {Logica Universalis},
volume = {16},
number = {3},
pages = {389--417},
year = {2022},
url = {https://doi.org/10.1007/s11787-022-00305-9},
doi = {10.1007/S11787-022-00305-9},
timestamp = {Thu, 27 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide22,
author = {Norihiro Kamide},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Reasoning with Inconsistency-tolerant Fuzzy Description Logics},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 3, Online Streaming, February
3-5, 2022},
pages = {63--74},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010771200003116},
doi = {10.5220/0010771200003116},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideK22,
author = {Norihiro Kamide and
Seidai Kanbe},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Falsification-aware Semantics for {CTL} and Its Inconsistency-tolerant
Subsystem: Towards Falsification-aware Model Checking},
booktitle = {Proceedings of the 14th International Conference on Agents and Artificial
Intelligence, {ICAART} 2022, Volume 3, Online Streaming, February
3-5, 2022},
pages = {242--252},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010803700003116},
doi = {10.5220/0010803700003116},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/KamideK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide22,
author = {Norihiro Kamide},
title = {Falsification-aware Semantics for Description Logics},
booktitle = {52nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2022, Dallas, TX, USA, May 18-20, 2022},
pages = {100--105},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISMVL52857.2022.00022},
doi = {10.1109/ISMVL52857.2022.00022},
timestamp = {Wed, 29 Jun 2022 17:24:41 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide22a,
author = {Norihiro Kamide},
title = {Falsification-aware Twist Structures in Description Logic},
booktitle = {52nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2022, Dallas, TX, USA, May 18-20, 2022},
pages = {119--124},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISMVL52857.2022.00025},
doi = {10.1109/ISMVL52857.2022.00025},
timestamp = {Wed, 29 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide21,
author = {Norihiro Kamide},
title = {Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with
Classical Negation},
journal = {J. Log. Lang. Inf.},
volume = {30},
number = {3},
pages = {491--531},
year = {2021},
url = {https://doi.org/10.1007/s10849-021-09330-1},
doi = {10.1007/S10849-021-09330-1},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide21,
author = {Norihiro Kamide},
title = {Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a
Unified Framework Based on Monosequent Systems},
journal = {J. Philos. Log.},
volume = {50},
number = {4},
pages = {781--811},
year = {2021},
url = {https://doi.org/10.1007/s10992-020-09585-2},
doi = {10.1007/S10992-020-09585-2},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Kamide21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide21,
author = {Norihiro Kamide},
title = {Alternative Multilattice Logics: An Approach Based on Monosequent
and Indexed Monosequent Calculi},
journal = {Stud Logica},
volume = {109},
number = {6},
pages = {1241--1271},
year = {2021},
url = {https://doi.org/10.1007/s11225-020-09939-6},
doi = {10.1007/S11225-020-09939-6},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideY21,
author = {Norihiro Kamide and
Noriko Yamamoto},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Inconsistency-tolerant Hierarchical Probabilistic Computation Tree
Logic and Its Application to Model Checking},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 2, Online Streaming, February
4-6, 2021},
pages = {490--499},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010181604900499},
doi = {10.5220/0010181604900499},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KamideY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide21,
author = {Norihiro Kamide},
title = {Symmetric Paraconsistent Quantum Logic},
booktitle = {51st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2021, Nur-Sultan, Kazakhstan, May 25-27, 2021},
pages = {26--32},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISMVL51352.2021.00014},
doi = {10.1109/ISMVL51352.2021.00014},
timestamp = {Mon, 05 Jul 2021 16:33:33 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide21a,
author = {Norihiro Kamide},
title = {Notes on Avron's Self-extensional Four-valued Paradefinite Logic},
booktitle = {51st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2021, Nur-Sultan, Kazakhstan, May 25-27, 2021},
pages = {43--49},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISMVL51352.2021.00017},
doi = {10.1109/ISMVL51352.2021.00017},
timestamp = {Mon, 05 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide21a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KamideZ20,
author = {Norihiro Kamide and
Yoni Zohar},
title = {Modal extension of ideal paraconsistent four-valued logic and its
subsystem},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {10},
pages = {102830},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2020.102830},
doi = {10.1016/J.APAL.2020.102830},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/KamideZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Kamide20,
author = {Norihiro Kamide},
title = {Some Properties for First-order Nelsonian Paraconsistent Quantum Logic},
journal = {{FLAP}},
volume = {7},
number = {1},
pages = {59--88},
year = {2020},
url = {http://collegepublications.co.uk/ifcolog/?00037},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/Kamide20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/Kamide20a,
author = {Norihiro Kamide},
title = {Cut-elimination, Completeness and Craig Interpolation Theorems for
Gurevich's Extended First-order Intuitionistic Logic with Strong Negation},
journal = {{FLAP}},
volume = {8},
number = {5},
pages = {1101--1122},
year = {2020},
url = {https://collegepublications.co.uk/ifcolog/?00047},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/flap/Kamide20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide20,
author = {Norihiro Kamide},
title = {Kripke-Completeness and Cut-elimination Theorems for Intuitionistic
Paradefinite Logics With and Without Quasi-Explosion},
journal = {J. Philos. Log.},
volume = {49},
number = {6},
pages = {1185--1212},
year = {2020},
url = {https://doi.org/10.1007/s10992-020-09553-w},
doi = {10.1007/S10992-020-09553-W},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Kamide20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide20a,
author = {Norihiro Kamide},
title = {Correction to: Kripke-Completeness and Cut-elimination Theorems for
Intuitionistic Paradefinite Logics With and Without Quasi-Explosion},
journal = {J. Philos. Log.},
volume = {49},
number = {6},
pages = {1213},
year = {2020},
url = {https://doi.org/10.1007/s10992-020-09559-4},
doi = {10.1007/S10992-020-09559-4},
timestamp = {Mon, 30 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jphil/Kamide20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KamideZ20,
author = {Norihiro Kamide and
Yoni Zohar},
title = {Completeness and Cut-Elimination for First-Order Ideal Paraconsistent
Four-Valued Logic},
journal = {Stud Logica},
volume = {108},
number = {3},
pages = {549--571},
year = {2020},
url = {https://doi.org/10.1007/s11225-019-09863-4},
doi = {10.1007/S11225-019-09863-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KamideZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide20,
author = {Norihiro Kamide},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {An Extended Description Logic for Inconsistency-tolerant Ontological
Reasoning with Sequential Information},
booktitle = {Proceedings of the 12th International Conference on Agents and Artificial
Intelligence, {ICAART} 2020, Volume 2, Valletta, Malta, February 22-24,
2020},
pages = {313--321},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0008876403130321},
doi = {10.5220/0008876403130321},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide20,
author = {Norihiro Kamide},
title = {Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge
Bases with Sequential Information},
booktitle = {50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2020, Miyazaki, Japan, November 9-11, 2020},
pages = {218--223},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISMVL49045.2020.000-2},
doi = {10.1109/ISMVL49045.2020.000-2},
timestamp = {Fri, 15 Jan 2021 12:47:14 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide20a,
author = {Norihiro Kamide},
title = {Completeness of Subtrilattice Logic},
booktitle = {50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2020, Miyazaki, Japan, November 9-11, 2020},
pages = {279--284},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ISMVL49045.2020.00059},
doi = {10.1109/ISMVL49045.2020.00059},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KamideZ19,
author = {Norihiro Kamide and
Yoni Zohar},
title = {Yet another paradefinite logic: The role of conflation1},
journal = {Log. J. {IGPL}},
volume = {27},
number = {1},
pages = {93--117},
year = {2019},
url = {https://doi.org/10.1093/jigpal/jzy023},
doi = {10.1093/JIGPAL/JZY023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KamideZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/Kamide19,
author = {Norihiro Kamide},
title = {Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with
Classical Negation: {A} General Framework},
journal = {Logica Universalis},
volume = {13},
number = {1},
pages = {37--63},
year = {2019},
url = {https://doi.org/10.1007/s11787-018-0218-3},
doi = {10.1007/S11787-018-0218-3},
timestamp = {Tue, 26 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/Kamide19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/Kamide19,
author = {Norihiro Kamide},
title = {A Substructural View of Multilattice Logic},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {33},
number = {3},
pages = {239--270},
year = {2019},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-33-number-3-2019/mvlsc-33-3-p-239-270/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/Kamide19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide19,
author = {Norihiro Kamide},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into
Classical Logic and Vice Versa},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {377--387},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007251603770387},
doi = {10.5220/0007251603770387},
timestamp = {Tue, 06 Jun 2023 14:58:01 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideY19,
author = {Norihiro Kamide and
Yuki Yano},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Towards Hierarchical Probabilistic {CTL} Model Checking: Theoretical
Foundations},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {762--769},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007456507620769},
doi = {10.5220/0007456507620769},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KamideY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideB19,
author = {Norihiro Kamide and
Juan Pedro Altamirano Bernal},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Towards Locative Inconsistency-tolerant Hierarchical Probabilistic
{CTL} Model Checking: Survey and Future Work},
booktitle = {Proceedings of the 11th International Conference on Agents and Artificial
Intelligence, {ICAART} 2019, Volume 2, Prague, Czech Republic, February
19-21, 2019},
pages = {869--878},
publisher = {SciTePress},
year = {2019},
url = {https://doi.org/10.5220/0007683808690878},
doi = {10.5220/0007683808690878},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KamideB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/KamideZ19,
author = {Norihiro Kamide and
Yoni Zohar},
title = {Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic},
booktitle = {2019 {IEEE} 49th International Symposium on Multiple-Valued Logic
(ISMVL), Fredericton, NB, Canada, May 21-23, 2019},
pages = {120--125},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISMVL.2019.00029},
doi = {10.1109/ISMVL.2019.00029},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/KamideZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide19,
author = {Norihiro Kamide},
title = {First-Order Nelsonian Paraconsistent Quantum Logic},
booktitle = {2019 {IEEE} 49th International Symposium on Multiple-Valued Logic
(ISMVL), Fredericton, NB, Canada, May 21-23, 2019},
pages = {176--181},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ISMVL.2019.00038},
doi = {10.1109/ISMVL.2019.00038},
timestamp = {Tue, 16 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide18,
author = {Norihiro Kamide},
title = {Proof Theory of Paraconsistent Quantum Logic},
journal = {J. Philos. Log.},
volume = {47},
number = {2},
pages = {301--324},
year = {2018},
url = {https://doi.org/10.1007/s10992-017-9428-z},
doi = {10.1007/S10992-017-9428-Z},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Kamide18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide18,
author = {Norihiro Kamide},
title = {Decidable temporal and sequential relevant logics},
journal = {J. Log. Comput.},
volume = {28},
number = {2},
pages = {403--432},
year = {2018},
url = {https://doi.org/10.1093/logcom/exx041},
doi = {10.1093/LOGCOM/EXX041},
timestamp = {Fri, 06 Apr 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide18,
author = {Norihiro Kamide},
title = {Extending paraconsistent quantum logic: a single-antecedent/succedent
system approach},
journal = {Math. Log. Q.},
volume = {64},
number = {4-5},
pages = {371--386},
year = {2018},
url = {https://doi.org/10.1002/malq.201700012},
doi = {10.1002/MALQ.201700012},
timestamp = {Wed, 19 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/Kamide18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/program/Kamide18,
author = {Norihiro Kamide},
title = {Logical foundations of hierarchical model checking},
journal = {Data Technol. Appl.},
volume = {52},
number = {4},
pages = {539--563},
year = {2018},
url = {https://doi.org/10.1108/DTA-01-2018-0002},
doi = {10.1108/DTA-01-2018-0002},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/program/Kamide18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideE18,
author = {Norihiro Kamide and
Kazuki Endo},
editor = {Ana Paula Rocha and
H. Jaap van den Herik},
title = {Logics and Translations for Inconsistency-tolerant Model Checking},
booktitle = {Proceedings of the 10th International Conference on Agents and Artificial
Intelligence, {ICAART} 2018, Volume 2, Funchal, Madeira, Portugal,
January 16-18, 2018},
pages = {191--200},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006640601910200},
doi = {10.5220/0006640601910200},
timestamp = {Fri, 04 Oct 2019 14:17:27 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KamideE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideE18a,
author = {Norihiro Kamide and
Kazuki Endo},
editor = {H. Jaap van den Herik and
Ana Paula Rocha},
title = {Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations,
and Examples},
booktitle = {Agents and Artificial Intelligence - 10th International Conference,
{ICAART} 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11352},
pages = {312--342},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05453-3\_15},
doi = {10.1007/978-3-030-05453-3\_15},
timestamp = {Fri, 27 Mar 2020 08:49:32 +0100},
biburl = {https://dblp.org/rec/conf/icaart/KamideE18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide17,
author = {Norihiro Kamide},
title = {Logics with definitional reflection rules},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1523--1548},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw013},
doi = {10.1093/LOGCOM/EXW013},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/KamideS17,
author = {Norihiro Kamide and
Yaroslav Shramko},
title = {Embedding from multilattice logic into classical logic and vice versa},
journal = {J. Log. Comput.},
volume = {27},
number = {5},
pages = {1549--1575},
year = {2017},
url = {https://doi.org/10.1093/logcom/exw015},
doi = {10.1093/LOGCOM/EXW015},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/KamideS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide17a,
author = {Norihiro Kamide},
title = {Relating first-order monadic omega-logic, propositional linear-time
temporal logic, propositional generalized definitional reflection
logic and propositional infinitary logic},
journal = {J. Log. Comput.},
volume = {27},
number = {7},
pages = {2271--2301},
year = {2017},
url = {https://doi.org/10.1093/logcom/exx006},
doi = {10.1093/LOGCOM/EXX006},
timestamp = {Wed, 25 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/KamideS17,
author = {Norihiro Kamide and
Yaroslav Shramko},
title = {Modal Multilattice Logic},
journal = {Logica Universalis},
volume = {11},
number = {3},
pages = {317--343},
year = {2017},
url = {https://doi.org/10.1007/s11787-017-0172-5},
doi = {10.1007/S11787-017-0172-5},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/KamideS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide17,
author = {Norihiro Kamide},
title = {Paraconsistent sequential linear-time temporal logic: Combining paraconsistency
and sequentiality in temporal reasoning},
journal = {Reports Math. Log.},
volume = {52},
pages = {3--44},
year = {2017},
url = {https://rml.tcs.uj.edu.pl/rml-52/01-kamide.pdf},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide17,
author = {Norihiro Kamide},
title = {Paraconsistent Double Negations as Classical and Intuitionistic Negations},
journal = {Stud Logica},
volume = {105},
number = {6},
pages = {1167--1191},
year = {2017},
url = {https://doi.org/10.1007/s11225-017-9731-2},
doi = {10.1007/S11225-017-9731-2},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KamideSW17,
author = {Norihiro Kamide and
Yaroslav Shramko and
Heinrich Wansing},
title = {Kripke Completeness of Bi-intuitionistic Multilattice Logic and its
Connexive Variant},
journal = {Stud Logica},
volume = {105},
number = {6},
pages = {1193--1219},
year = {2017},
url = {https://doi.org/10.1007/s11225-017-9752-x},
doi = {10.1007/S11225-017-9752-X},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KamideSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide17,
author = {Norihiro Kamide},
title = {Phase Semantics for Multilattice Formalism},
booktitle = {47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2017, Novi Sad, Serbia, May 22-24, 2017},
pages = {31--36},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISMVL.2017.13},
doi = {10.1109/ISMVL.2017.13},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide17a,
author = {Norihiro Kamide},
title = {Extending Ideal Paraconsistent Four-Valued Logic},
booktitle = {47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2017, Novi Sad, Serbia, May 22-24, 2017},
pages = {49--54},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISMVL.2017.14},
doi = {10.1109/ISMVL.2017.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide17b,
author = {Norihiro Kamide},
title = {Natural Deduction for Connexive Paraconsistent Quantum Logic},
booktitle = {47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2017, Novi Sad, Serbia, May 22-24, 2017},
pages = {207--212},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISMVL.2017.12},
doi = {10.1109/ISMVL.2017.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide17b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/KamideY17,
author = {Norihiro Kamide and
Ryu Yano},
editor = {Cecilia Zanni{-}Merk and
Claudia S. Frydman and
Carlos Toro and
Yulia Hicks and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Logics and translations for hierarchical model checking},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 21st International Conference KES-2017, Marseille,
France, 6-8 September 2017},
series = {Procedia Computer Science},
volume = {112},
pages = {31--40},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.08.014},
doi = {10.1016/J.PROCS.2017.08.014},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/KamideY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/KamideO17,
author = {Norihiro Kamide and
Hitoshi Omori},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {An Extended First-Order Belnap-Dunn Logic with Classical Negation},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10455},
pages = {79--93},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_6},
doi = {10.1007/978-3-662-55665-8\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/KamideO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/KamideW16,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Completeness of Connexive Heyting-Brouwer Logic},
journal = {{FLAP}},
volume = {3},
number = {3},
pages = {441--466},
year = {2016},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00007.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/KamideW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/KamideK16,
author = {Norihiro Kamide and
Daiki Koizumi},
title = {Method for Combining Paraconsistency and Probability in Temporal Reasoning},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {20},
number = {5},
pages = {813--827},
year = {2016},
url = {https://doi.org/10.20965/jaciii.2016.p0813},
doi = {10.20965/JACIII.2016.P0813},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/KamideK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/Kamide16,
author = {Norihiro Kamide},
title = {Bunched sequential information},
journal = {J. Appl. Log.},
volume = {15},
pages = {150--170},
year = {2016},
url = {https://doi.org/10.1016/j.jal.2016.02.003},
doi = {10.1016/J.JAL.2016.02.003},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/Kamide16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide16,
author = {Norihiro Kamide},
title = {A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer
semantics},
journal = {Math. Log. Q.},
volume = {62},
number = {3},
pages = {177--189},
year = {2016},
url = {https://doi.org/10.1002/malq.201400086},
doi = {10.1002/MALQ.201400086},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide16a,
author = {Norihiro Kamide},
title = {Paraconsistent double negation as a modal operator},
journal = {Math. Log. Q.},
volume = {62},
number = {6},
pages = {552--562},
year = {2016},
url = {https://doi.org/10.1002/malq.201500042},
doi = {10.1002/MALQ.201500042},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide16,
author = {Norihiro Kamide},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Intuitionistic De Morgan Verification and Falsification Logics},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {233--240},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005629902330240},
doi = {10.5220/0005629902330240},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide16a,
author = {Norihiro Kamide},
editor = {H. Jaap van den Herik and
Joaquim Filipe},
title = {Duality in Some Intuitionistic Paraconsistent Logics},
booktitle = {Proceedings of the 8th International Conference on Agents and Artificial
Intelligence {(ICAART} 2016), Volume 2, Rome, Italy, February 24-26,
2016},
pages = {288--297},
publisher = {SciTePress},
year = {2016},
url = {https://doi.org/10.5220/0005684202880297},
doi = {10.5220/0005684202880297},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide16,
author = {Norihiro Kamide},
title = {Paraconsistent Double Negation That Can Simulate Classical Negation},
booktitle = {46th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2016, Sapporo, Japan, May 18-20, 2016},
pages = {131--136},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISMVL.2016.12},
doi = {10.1109/ISMVL.2016.12},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide16a,
author = {Norihiro Kamide},
title = {Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive
Extension},
booktitle = {46th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2016, Sapporo, Japan, May 18-20, 2016},
pages = {137--142},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ISMVL.2016.11},
doi = {10.1109/ISMVL.2016.11},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/Kamide15,
author = {Norihiro Kamide},
title = {Reasoning in Medical and Tutoring Systems: {A} Decidable First-Order
Temporal Paraconsistent Non-Commutative Logic},
journal = {Int. J. Softw. Informatics},
volume = {9},
number = {1},
pages = {73--92},
year = {2015},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i204},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Kamide15,
author = {Norihiro Kamide},
title = {Inconsistency-tolerant temporal reasoning with hierarchical information},
journal = {Inf. Sci.},
volume = {320},
pages = {140--155},
year = {2015},
url = {https://doi.org/10.1016/j.ins.2015.05.015},
doi = {10.1016/J.INS.2015.05.015},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide15,
author = {Norihiro Kamide},
title = {Trilattice logic: an embedding-based approach},
journal = {J. Log. Comput.},
volume = {25},
number = {3},
pages = {581--611},
year = {2015},
url = {https://doi.org/10.1093/logcom/exu019},
doi = {10.1093/LOGCOM/EXU019},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Kamide15,
author = {Norihiro Kamide},
title = {Embedding theorems for {LTL} and its variants},
journal = {Math. Struct. Comput. Sci.},
volume = {25},
number = {1},
pages = {83--134},
year = {2015},
url = {https://doi.org/10.1017/S0960129514000048},
doi = {10.1017/S0960129514000048},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide15,
author = {Norihiro Kamide},
title = {Interpolation theorems for some variants of {LTL}},
journal = {Reports Math. Log.},
volume = {50},
pages = {3--30},
year = {2015},
url = {https://rml.tcs.uj.edu.pl/rml-50/1-kamide.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide15,
author = {Norihiro Kamide},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Inconsistency and Sequentiality in {LTL}},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {46--54},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:53:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideK15,
author = {Norihiro Kamide and
Daiki Koizumi},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Combining Paraconsistency and Probability in {CTL}},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January,
2015},
pages = {285--293},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KamideK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide15,
author = {Norihiro Kamide},
editor = {Liya Ding and
Charles Pang and
Mun{-}Kew Leong and
Lakhmi C. Jain and
Robert J. Howlett},
title = {Single-succedent System Approach to Boolean {BI}},
booktitle = {19th International Conference in Knowledge Based and Intelligent Information
and Engineering Systems, {KES} 2015, Singapore, 7-9 September 2015},
series = {Procedia Computer Science},
volume = {60},
pages = {27--36},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.procs.2015.08.101},
doi = {10.1016/J.PROCS.2015.08.101},
timestamp = {Thu, 08 Jul 2021 16:04:01 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/Kamide15,
author = {Norihiro Kamide},
editor = {Wiebe van der Hoek and
Wesley H. Holliday and
Wen{-}Fang Wang},
title = {A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human
Reasoning},
booktitle = {Logic, Rationality, and Interaction - 5th International Workshop,
{LORI} 2015 Taipei, Taiwan, October 28-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9394},
pages = {182--194},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48561-3\_15},
doi = {10.1007/978-3-662-48561-3\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/Kamide15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/Kamide14,
author = {Norihiro Kamide},
title = {Inconsistency-Tolerant Multi-Agent Calculus},
journal = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
volume = {22},
number = {6},
pages = {815--830},
year = {2014},
url = {https://doi.org/10.1142/S0218488514500433},
doi = {10.1142/S0218488514500433},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijufks/Kamide14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide14,
author = {Norihiro Kamide},
title = {An eight-valued praconsistent logic},
journal = {Reports Math. Log.},
volume = {49},
pages = {3--21},
year = {2014},
url = {https://rml.tcs.uj.edu.pl/rml-49/1-kamide.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamideK13,
author = {Norihiro Kamide and
Ken Kaneiwa},
title = {Reasoning about Resources and Information: {A} Linear Logic Approach},
journal = {Fundam. Informaticae},
volume = {125},
number = {1},
pages = {51--70},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-852},
doi = {10.3233/FI-2013-852},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KamideK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Kamide13,
author = {Norihiro Kamide},
title = {Inconsistency-Tolerant Bunched Implications},
journal = {Int. J. Approx. Reason.},
volume = {54},
number = {2},
pages = {343--353},
year = {2013},
url = {https://doi.org/10.1016/j.ijar.2012.11.004},
doi = {10.1016/J.IJAR.2012.11.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Kamide13,
author = {Norihiro Kamide},
title = {Representing any-time and program-iteration by infinitary conjunction},
journal = {J. Appl. Non Class. Logics},
volume = {23},
number = {3},
pages = {284--298},
year = {2013},
url = {https://doi.org/10.1080/11663081.2013.830402},
doi = {10.1080/11663081.2013.830402},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide13,
author = {Norihiro Kamide},
title = {Strong normalization in some temporal substructural logics},
journal = {J. Log. Comput.},
volume = {23},
number = {1},
pages = {1--24},
year = {2013},
url = {https://doi.org/10.1093/logcom/exs002},
doi = {10.1093/LOGCOM/EXS002},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide13,
author = {Norihiro Kamide},
title = {Temporal G{\"{o}}del-Gentzen and Girard translations},
journal = {Math. Log. Q.},
volume = {59},
number = {1-2},
pages = {66--83},
year = {2013},
url = {https://doi.org/10.1002/malq.201100083},
doi = {10.1002/MALQ.201100083},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide13,
author = {Norihiro Kamide},
title = {A Hierarchy of Weak Double Negations},
journal = {Stud Logica},
volume = {101},
number = {6},
pages = {1277--1297},
year = {2013},
url = {https://doi.org/10.1007/s11225-013-9533-0},
doi = {10.1007/S11225-013-9533-0},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kamide13,
author = {Norihiro Kamide},
title = {Temporal {BI:} Proof system, semantics and translations},
journal = {Theor. Comput. Sci.},
volume = {492},
pages = {40--69},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.04.029},
doi = {10.1016/J.TCS.2013.04.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide13,
author = {Norihiro Kamide},
title = {On Natural Eight-Valued Reasoning},
booktitle = {43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2013, Toyama, Japan, May 22-24, 2013},
pages = {231--236},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISMVL.2013.43},
doi = {10.1109/ISMVL.2013.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Kamide13a,
author = {Norihiro Kamide},
title = {Embedding-Based Methods for Trilattice Logic},
booktitle = {43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
2013, Toyama, Japan, May 22-24, 2013},
pages = {237--242},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ISMVL.2013.25},
doi = {10.1109/ISMVL.2013.25},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Kamide13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Kamide13,
author = {Norihiro Kamide},
title = {The Logic of Information Merge and Sequential Information},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {1853--1858},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.319},
doi = {10.1109/SMC.2013.319},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/Kamide13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Kamide13a,
author = {Norihiro Kamide},
title = {Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with
Hierarchical Information: Dealing with Students' Learning Processes},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {1859--1864},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.320},
doi = {10.1109/SMC.2013.320},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/Kamide13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Kamide13b,
author = {Norihiro Kamide},
title = {Formalizing Inconsistency-Tolerant Relevant Human Reasoning: {A} Decidable
Paraconsistent Relevant Logic with Constructible Falsity},
booktitle = {{IEEE} International Conference on Systems, Man, and Cybernetics,
Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
pages = {1865--1870},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/SMC.2013.321},
doi = {10.1109/SMC.2013.321},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/Kamide13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Kamide12,
author = {Norihiro Kamide},
title = {Bounded linear-time temporal logic: {A} proof-theoretic investigation},
journal = {Ann. Pure Appl. Log.},
volume = {163},
number = {4},
pages = {439--466},
year = {2012},
url = {https://doi.org/10.1016/j.apal.2011.12.002},
doi = {10.1016/J.APAL.2011.12.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Kamide12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide12,
author = {Norihiro Kamide},
title = {Embedding-based approaches to paraconsistent and temporal description
logics},
journal = {J. Log. Comput.},
volume = {22},
number = {5},
pages = {1097--1124},
year = {2012},
url = {https://doi.org/10.1093/logcom/exr016},
doi = {10.1093/LOGCOM/EXR016},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide12,
author = {Norihiro Kamide},
title = {Strong normalization of a typed lambda calculus for intuitionistic
bounded linear-time temporal logic},
journal = {Reports Math. Log.},
volume = {47},
pages = {29--61},
year = {2012},
url = {https://rml.tcs.uj.edu.pl/rml-47/2-kamide.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcci/Kamide12,
author = {Norihiro Kamide},
title = {Reasoning about Time-Dependent Multi-agents: Foundations of Theorem
Proving and Model Checking},
journal = {Trans. Comput. Collect. Intell.},
volume = {6},
pages = {181--201},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29356-6\_9},
doi = {10.1007/978-3-642-29356-6\_9},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcci/Kamide12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KamideW12,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Proof theory of Nelson's paraconsistent logic: {A} uniform perspective},
journal = {Theor. Comput. Sci.},
volume = {415},
pages = {1--38},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.11.001},
doi = {10.1016/J.TCS.2011.11.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KamideW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/KamideW11,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Completeness and cut-elimination theorems for trilattice logics},
journal = {Ann. Pure Appl. Log.},
volume = {162},
number = {10},
pages = {816--835},
year = {2011},
url = {https://doi.org/10.1016/j.apal.2011.03.001},
doi = {10.1016/J.APAL.2011.03.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/KamideW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamideW11,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {A Paraconsistent Linear-time Temporal Logic},
journal = {Fundam. Informaticae},
volume = {106},
number = {1},
pages = {1--23},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-374},
doi = {10.3233/FI-2011-374},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KamideW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamide11,
author = {Norihiro Kamide},
title = {Phase semantics for linear-time formalism},
journal = {Log. J. {IGPL}},
volume = {19},
number = {1},
pages = {121--143},
year = {2011},
url = {https://doi.org/10.1093/jigpal/jzq023},
doi = {10.1093/JIGPAL/JZQ023},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamide11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/KaneiwaK11,
author = {Ken Kaneiwa and
Norihiro Kamide},
title = {Conceptual modeling in full computation-tree logic with sequence modal
operator},
journal = {Int. J. Intell. Syst.},
volume = {26},
number = {7},
pages = {636--651},
year = {2011},
url = {https://doi.org/10.1002/int.20486},
doi = {10.1002/INT.20486},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/KaneiwaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jaciii/Kamide11,
author = {Norihiro Kamide},
title = {Concept Finding Proofs},
journal = {J. Adv. Comput. Intell. Intell. Informatics},
volume = {15},
number = {7},
pages = {777--784},
year = {2011},
url = {https://doi.org/10.20965/jaciii.2011.p0777},
doi = {10.20965/JACIII.2011.P0777},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jaciii/Kamide11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide11,
author = {Norihiro Kamide},
title = {Notes on Craig interpolation for {LJ} with strong negation},
journal = {Math. Log. Q.},
volume = {57},
number = {4},
pages = {395--399},
year = {2011},
url = {https://doi.org/10.1002/malq.201010016},
doi = {10.1002/MALQ.201010016},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/KaneiwaK11,
author = {Ken Kaneiwa and
Norihiro Kamide},
title = {Paraconsistent Computation Tree Logic},
journal = {New Gener. Comput.},
volume = {29},
number = {4},
pages = {391--408},
year = {2011},
url = {https://doi.org/10.1007/s00354-009-0116-6},
doi = {10.1007/S00354-009-0116-6},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/KaneiwaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide11,
author = {Norihiro Kamide},
title = {A logic of sequences},
journal = {Reports Math. Log.},
volume = {46},
pages = {29--57},
year = {2011},
url = {https://rml.tcs.uj.edu.pl/rml-46/03-Kamide.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/WansingK11,
author = {Heinrich Wansing and
Norihiro Kamide},
title = {Synchronized Linear-Time Temporal Logic},
journal = {Stud Logica},
volume = {99},
number = {1-3},
pages = {365--388},
year = {2011},
url = {https://doi.org/10.1007/s11225-011-9357-8},
doi = {10.1007/S11225-011-9357-8},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/WansingK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide11a,
author = {Norihiro Kamide},
editor = {Andreas K{\"{o}}nig and
Andreas Dengel and
Knut Hinkelmann and
Koichi Kise and
Robert J. Howlett and
Lakhmi C. Jain},
title = {On Temporal G{\"{o}}del-Gentzen Translation},
booktitle = {Knowlege-Based and Intelligent Information and Engineering Systems
- 15th International Conference, {KES} 2011, Kaiserslautern, Germany,
September 12-14, 2011, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6882},
pages = {225--234},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23863-5\_23},
doi = {10.1007/978-3-642-23863-5\_23},
timestamp = {Fri, 13 Sep 2019 15:47:24 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide11b,
author = {Norihiro Kamide},
editor = {Andreas K{\"{o}}nig and
Andreas Dengel and
Knut Hinkelmann and
Koichi Kise and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Decidable First-Order Logic for Medical Reasoning},
booktitle = {Knowlege-Based and Intelligent Information and Engineering Systems
- 15th International Conference, {KES} 2011, Kaiserslautern, Germany,
September 12-14, 2011, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6882},
pages = {235--245},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23863-5\_24},
doi = {10.1007/978-3-642-23863-5\_24},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide11c,
author = {Norihiro Kamide},
editor = {Andreas K{\"{o}}nig and
Andreas Dengel and
Knut Hinkelmann and
Koichi Kise and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Interpolation Theorems for Some Extended Description Logics},
booktitle = {Knowlege-Based and Intelligent Information and Engineering Systems
- 15th International Conference, {KES} 2011, Kaiserslautern, Germany,
September 12-14, 2011, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6882},
pages = {246--255},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23863-5\_25},
doi = {10.1007/978-3-642-23863-5\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide11,
author = {Norihiro Kamide},
editor = {Andreas K{\"{o}}nig and
Andreas Dengel and
Knut Hinkelmann and
Koichi Kise and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Paraconsistent Semantics for Description Logics: {A} Comparison},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems
- 15th International Conference, {KES} 2011, Kaiserslautern, Germany,
September 12-14, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6881},
pages = {599--608},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23851-2\_61},
doi = {10.1007/978-3-642-23851-2\_61},
timestamp = {Fri, 13 Sep 2019 15:47:24 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/KaneiwaK10,
author = {Ken Kaneiwa and
Norihiro Kamide},
title = {Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application},
journal = {Appl. Artif. Intell.},
volume = {24},
number = {10},
pages = {896--913},
year = {2010},
url = {https://doi.org/10.1080/08839514.2010.514231},
doi = {10.1080/08839514.2010.514231},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/KaneiwaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KamideW10,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Combining linear-time temporal logic with constructiveness and paraconsistency},
journal = {J. Appl. Log.},
volume = {8},
number = {1},
pages = {33--61},
year = {2010},
url = {https://doi.org/10.1016/j.jal.2009.06.001},
doi = {10.1016/J.JAL.2009.06.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/KamideW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide10,
author = {Norihiro Kamide},
title = {Dynamic Non-Commutative Logic},
journal = {J. Log. Lang. Inf.},
volume = {19},
number = {1},
pages = {33--51},
year = {2010},
url = {https://doi.org/10.1007/s10849-009-9101-1},
doi = {10.1007/S10849-009-9101-1},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/WansingK10,
author = {Heinrich Wansing and
Norihiro Kamide},
title = {Intuitionistic Trilattice Logics},
journal = {J. Log. Comput.},
volume = {20},
number = {6},
pages = {1201--1229},
year = {2010},
url = {https://doi.org/10.1093/logcom/exp081},
doi = {10.1093/LOGCOM/EXP081},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/WansingK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide10,
author = {Norihiro Kamide},
title = {Automating and computing paraconsistent reasoning: contraction-free,
resolution and type systems},
journal = {Reports Math. Log.},
volume = {45},
pages = {3--21},
year = {2010},
url = {https://rml.tcs.uj.edu.pl/rml-45/01-Kamide.pdf},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/KamideK10,
author = {Norihiro Kamide and
Ken Kaneiwa},
editor = {Jiuyong Li},
title = {Resource-Sensitive Reasoning with Sequential Information},
booktitle = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6464},
pages = {22--31},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17432-2\_3},
doi = {10.1007/978-3-642-17432-2\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/KamideK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kamide10,
author = {Norihiro Kamide},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Paraconsistent Description Logics Revisited},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Kamide10a,
author = {Norihiro Kamide},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {A Compatible Approach to Temporal Description Logics},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Kamide10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KamideK10,
author = {Norihiro Kamide and
Ken Kaneiwa},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Paraconsistent Negation and Classical Negation in Computation Tree
Logic},
booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia,
Spain, January 22-24, 2010},
pages = {464--469},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Wed, 03 Mar 2010 08:01:07 +0100},
biburl = {https://dblp.org/rec/conf/icaart/KamideK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide10,
author = {Norihiro Kamide},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Branching-time Versus Linear-time - {A} Cooperative and Feasible Approach},
booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia,
Spain, January 22-24, 2010},
pages = {522--526},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Wed, 03 Mar 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/Kamide10a,
author = {Norihiro Kamide},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
title = {Reasoning about Bounded Time Domain - An Alternative to NP-Complete
Fragments of {LTL}},
booktitle = {{ICAART} 2010 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1 - Artificial Intelligence, Valencia,
Spain, January 22-24, 2010},
pages = {536--539},
publisher = {{INSTICC} Press},
year = {2010},
timestamp = {Wed, 03 Mar 2010 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icaart/Kamide10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide10a,
author = {Norihiro Kamide},
editor = {Rossitza Setchi and
Ivan Jordanov and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Logic for Incomplete Sequential Information},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems
- 14th International Conference, {KES} 2010, Cardiff, UK, September
8-10, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6277},
pages = {153--162},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15390-7\_16},
doi = {10.1007/978-3-642-15390-7\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kes/Kamide10,
author = {Norihiro Kamide},
editor = {Rossitza Setchi and
Ivan Jordanov and
Robert J. Howlett and
Lakhmi C. Jain},
title = {A Proof System for Time-Dependent Multi-agents},
booktitle = {Knowledge-Based and Intelligent Information and Engineering Systems
- 14th International Conference, {KES} 2010, Cardiff, UK, September
8-10, 2010, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6276},
pages = {178--187},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15387-7\_22},
doi = {10.1007/978-3-642-15387-7\_22},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/kes/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ki/Kamide10,
author = {Norihiro Kamide},
editor = {R{\"{u}}diger Dillmann and
J{\"{u}}rgen Beyerer and
Uwe D. Hanebeck and
Tanja Schultz},
title = {Completeness for Generalized First-Order {LTL}},
booktitle = {{KI} 2010: Advances in Artificial Intelligence, 33rd Annual German
Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6359},
pages = {246--254},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16111-7\_28},
doi = {10.1007/978-3-642-16111-7\_28},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ki/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/Kamide10,
author = {Norihiro Kamide},
editor = {Ant{\^{o}}nio Carlos da Rocha Costa and
Rosa Maria Vicari and
Flavio Tonidandel},
title = {A Sequent Calculus for 3-Dimensional Space},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
Brazil, October 23-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6404},
pages = {263--272},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16138-4\_27},
doi = {10.1007/978-3-642-16138-4\_27},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/sbia/Kamide10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/Kamide10a,
author = {Norihiro Kamide},
editor = {Ant{\^{o}}nio Carlos da Rocha Costa and
Rosa Maria Vicari and
Flavio Tonidandel},
title = {A Proof System for Temporal Reasoning with Sequential Information},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
Brazil, October 23-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6404},
pages = {283--292},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16138-4\_29},
doi = {10.1007/978-3-642-16138-4\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/Kamide10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/Kamide10b,
author = {Norihiro Kamide},
editor = {Ant{\^{o}}nio Carlos da Rocha Costa and
Rosa Maria Vicari and
Flavio Tonidandel},
title = {A Logic for Conceptual Hierarchies},
booktitle = {Advances in Artificial Intelligence - {SBIA} 2010 - 20th Brazilian
Symposium on Artificial Intelligence, S{\~{a}}o Bernardo do Campo,
Brazil, October 23-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6404},
pages = {303--312},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16138-4\_31},
doi = {10.1007/978-3-642-16138-4\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbia/Kamide10b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/KamideW09,
author = {Norihiro Kamide and
Heinrich Wansing},
title = {Sequent Calculi for some Trilattice Logics},
journal = {Rev. Symb. Log.},
volume = {2},
number = {2},
pages = {374--395},
year = {2009},
url = {https://doi.org/10.1017/S1755020309090212},
doi = {10.1017/S1755020309090212},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsl/KamideW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide09,
author = {Norihiro Kamide},
title = {Proof Systems Combining Classical and Paraconsistent Negations},
journal = {Stud Logica},
volume = {91},
number = {2},
pages = {217--238},
year = {2009},
url = {https://doi.org/10.1007/s11225-009-9173-6},
doi = {10.1007/S11225-009-9173-6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/KamideK09,
author = {Norihiro Kamide and
Ken Kaneiwa},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Extended Full Computation-Tree Logic with Sequence Modal Operator:
Representing Hierarchical Tree Structures},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {485--494},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_49},
doi = {10.1007/978-3-642-10439-8\_49},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/KamideK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/MouriK08,
author = {Motohiko Mouri and
Norihiro Kamide},
title = {Strong Normalizability of Typed Lambda-Calculi for Substructural Logics},
journal = {Logica Universalis},
volume = {2},
number = {2},
pages = {189--207},
year = {2008},
url = {https://doi.org/10.1007/s11787-008-0036-0},
doi = {10.1007/S11787-008-0036-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lu/MouriK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/Kamide08,
author = {Norihiro Kamide},
editor = {Michael Fisher and
Fariba Sadri and
Michael Thielscher},
title = {Embedding Linear-Time Temporal Logic into Infinitary Logic: Application
to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time
Temporal Logic},
booktitle = {Computational Logic in Multi-Agent Systems, 9th International Workshop,
{CLIMA} IX, Dresden, Germany, September 29-30, 2008. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5405},
pages = {57--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02734-5\_5},
doi = {10.1007/978-3-642-02734-5\_5},
timestamp = {Fri, 25 Dec 2020 01:14:19 +0100},
biburl = {https://dblp.org/rec/conf/clima/Kamide08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Kamide08,
author = {Norihiro Kamide},
editor = {Steffen H{\"{o}}lldobler and
Carsten Lutz and
Heinrich Wansing},
title = {Linear Exponentials as Resource Operators: {A} Decidable First-order
Linear Logic with Bounded Exponentials},
booktitle = {Logics in Artificial Intelligence, 11th European Conference, {JELIA}
2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5293},
pages = {245--257},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87803-2\_21},
doi = {10.1007/978-3-540-87803-2\_21},
timestamp = {Tue, 29 Dec 2020 18:34:12 +0100},
biburl = {https://dblp.org/rec/conf/jelia/Kamide08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Kamide07,
author = {Norihiro Kamide},
title = {Towards a theory of resource: an approach based on soft exponentials},
journal = {J. Appl. Non Class. Logics},
volume = {17},
number = {1},
pages = {63--89},
year = {2007},
url = {https://doi.org/10.3166/jancl.17.63-89},
doi = {10.3166/JANCL.17.63-89},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Kamide07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Kamide07,
author = {Norihiro Kamide},
title = {A Uniform Proof-theoretic Foundation for Abstract Paraconsistent Logic
Programming},
journal = {J. Funct. Log. Program.},
volume = {2007},
year = {2007},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2007/A2007-01/A2007-01.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Kamide07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide07,
author = {Norihiro Kamide},
title = {Synthesized substructural logics},
journal = {Math. Log. Q.},
volume = {53},
number = {3},
pages = {219--225},
year = {2007},
url = {https://doi.org/10.1002/malq.200610036},
doi = {10.1002/MALQ.200610036},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kamide06,
author = {Norihiro Kamide},
title = {Foundations of Paraconsistent Resolution},
journal = {Fundam. Informaticae},
volume = {71},
number = {4},
pages = {419--441},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Kamide06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide06,
author = {Norihiro Kamide},
title = {Phase Semantics and Petri Net Interpretation for Resource-Sensitive
Strong Negation},
journal = {J. Log. Lang. Inf.},
volume = {15},
number = {4},
pages = {371--401},
year = {2006},
url = {https://doi.org/10.1007/s10849-005-9000-z},
doi = {10.1007/S10849-005-9000-Z},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kamide06,
author = {Norihiro Kamide},
title = {Linear and affine logics with temporal, spatial and epistemic operators},
journal = {Theor. Comput. Sci.},
volume = {353},
number = {1-3},
pages = {165--207},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2005.10.043},
doi = {10.1016/J.TCS.2005.10.043},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kamide06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Kamide05,
author = {Norihiro Kamide},
title = {Natural deduction systems for Nelson's paraconsistent logic and its
neighbors},
journal = {J. Appl. Non Class. Logics},
volume = {15},
number = {4},
pages = {405--435},
year = {2005},
url = {https://doi.org/10.3166/jancl.15.405-435},
doi = {10.3166/JANCL.15.405-435},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Kamide05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide05,
author = {Norihiro Kamide},
title = {Linear Logics with Communication-merge},
journal = {J. Log. Comput.},
volume = {15},
number = {1},
pages = {3--20},
year = {2005},
url = {https://doi.org/10.1093/logcom/exh029},
doi = {10.1093/LOGCOM/EXH029},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide05,
author = {Norihiro Kamide},
title = {A spatial modal logic with a location interpretation},
journal = {Math. Log. Q.},
volume = {51},
number = {4},
pages = {331--341},
year = {2005},
url = {https://doi.org/10.1002/malq.200510001},
doi = {10.1002/MALQ.200510001},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide05a,
author = {Norihiro Kamide},
title = {On a logic of involutive quantales},
journal = {Math. Log. Q.},
volume = {51},
number = {6},
pages = {579--585},
year = {2005},
url = {https://doi.org/10.1002/malq.200410049},
doi = {10.1002/MALQ.200410049},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide05,
author = {Norihiro Kamide},
title = {Gentzen-Type Methods for Bilattice Negation},
journal = {Stud Logica},
volume = {80},
number = {2-3},
pages = {265--289},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-8471-x},
doi = {10.1007/S11225-005-8471-X},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide04,
author = {Norihiro Kamide},
title = {Combining Soft Linear Logic and Spatio-temporal Operators},
journal = {J. Log. Comput.},
volume = {14},
number = {5},
pages = {625--650},
year = {2004},
url = {https://doi.org/10.1093/logcom/14.5.625},
doi = {10.1093/LOGCOM/14.5.625},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Kamide04,
author = {Norihiro Kamide},
title = {Quantized Linear Logic, Involutive Quantales and Strong Negation},
journal = {Stud Logica},
volume = {77},
number = {3},
pages = {355--384},
year = {2004},
url = {https://doi.org/10.1023/B:STUD.0000039030.03885.7c},
doi = {10.1023/B:STUD.0000039030.03885.7C},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Kamide04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kamide03,
author = {Norihiro Kamide},
title = {Normal Modal Substructural Logics with Strong Negation},
journal = {J. Philos. Log.},
volume = {32},
number = {6},
pages = {589--612},
year = {2003},
url = {https://doi.org/10.1023/B:LOGI.0000003928.44012.57},
doi = {10.1023/B:LOGI.0000003928.44012.57},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Kamide03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide03,
author = {Norihiro Kamide},
title = {Classical linear logics with mix separation principle},
journal = {Math. Log. Q.},
volume = {49},
number = {2},
pages = {201--209},
year = {2003},
url = {https://doi.org/10.1002/malq.200310019},
doi = {10.1002/MALQ.200310019},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Kamide03a,
author = {Norihiro Kamide},
title = {A note on dual-intuitionistic logic},
journal = {Math. Log. Q.},
volume = {49},
number = {5},
pages = {519--524},
year = {2003},
url = {https://doi.org/10.1002/malq.200310055},
doi = {10.1002/MALQ.200310055},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Kamide03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Kamide02,
author = {Norihiro Kamide},
title = {Sequent Calculi for Intuitionistic Linear Logic with Strong Negation},
journal = {Log. J. {IGPL}},
volume = {10},
number = {6},
pages = {653--678},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.6.653},
doi = {10.1093/JIGPAL/10.6.653},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Kamide02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide02,
author = {Norihiro Kamide},
title = {Substructural Logics with Mingle},
journal = {J. Log. Lang. Inf.},
volume = {11},
number = {2},
pages = {227--249},
year = {2002},
url = {https://doi.org/10.1023/A:1017586008091},
doi = {10.1023/A:1017586008091},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/Kamide02a,
author = {Norihiro Kamide},
title = {Kripke Semantics for Modal Substructural Logics},
journal = {J. Log. Lang. Inf.},
volume = {11},
number = {4},
pages = {453--470},
year = {2002},
url = {https://doi.org/10.1023/A:1019915908844},
doi = {10.1023/A:1019915908844},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jolli/Kamide02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Kamide02,
author = {Norihiro Kamide},
title = {Relevance Principle for Substructural Logics with Mingle and Strong
Negation},
journal = {J. Log. Comput.},
volume = {12},
number = {6},
pages = {913--928},
year = {2002},
url = {https://doi.org/10.1093/logcom/12.6.913},
doi = {10.1093/LOGCOM/12.6.913},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Kamide02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rml/Kamide02,
author = {Norihiro Kamide},
title = {A Canonical Model Construction for Substructural Logics with Strong
Negation},
journal = {Reports Math. Log.},
volume = {36},
pages = {95--116},
year = {2002},
url = {https://rml.tcs.uj.edu.pl/rml-36/a-kam-36.htm},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rml/Kamide02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KashimaK99,
author = {Ryo Kashima and
Norihiro Kamide},
title = {Substructural Implicational Logics Including the Relevant Logic {E}},
journal = {Stud Logica},
volume = {63},
number = {2},
pages = {181--212},
year = {1999},
url = {https://doi.org/10.1023/A:1005210613711},
doi = {10.1023/A:1005210613711},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/KashimaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
