Norihiro Kamide

J. Log. Lang. Inf., August, 2024

2023

Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Stud Logica, December, 2023

Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., August, 2023

Embedding First-order Classical Logic into Gurevich's Extended First-order Intuitionistic Logic: The Role of Strong Negation.

[BibT_eX]

[DOI]

FLAP, 2023

Self-extensional Paradefinite Four-valued Modal Logic Compatible with Standard Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

Natural Deduction with Explosion and Excluded Middle.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic, 2023

2022

An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.

[BibT_eX]

[DOI]

Logica Universalis, 2022

Embedding Friendly First-Order Paradefinite and Connexive Logics.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

Falsification-Aware Semantics and Sequent Calculi for Classical Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2022

Falsification-Aware Semantics for Temporal Logics and Their Inconsistency-Tolerant Subsystems: Theoretical Foundations of Falsification-Aware Model Checking.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2022

Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2022

Falsification-aware Twist Structures in Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Falsification-aware Semantics for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic, 2022

Falsification-aware Semantics for CTL and Its Inconsistency-tolerant Subsystem: Towards Falsification-aware Model Checking.

[BibT_eX]

[DOI]

Seidai Kanbe

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Reasoning with Inconsistency-tolerant Fuzzy Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.

[BibT_eX]

[DOI]

Stud Logica, 2021

Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.

[BibT_eX]

[DOI]

J. Philos. Log., 2021

Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2021

Notes on Avron's Self-extensional Four-valued Paradefinite Logic.

[BibT_eX]

[DOI]

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

Symmetric Paraconsistent Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic, 2021

Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking.

[BibT_eX]

[DOI]

Noriko Yamamoto

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

2020

Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic.

[BibT_eX]

[DOI]

Stud Logica, 2020

Correction to: Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

[BibT_eX]

[DOI]

J. Philos. Log., 2020

Kripke-Completeness and Cut-elimination Theorems for Intuitionistic Paradefinite Logics With and Without Quasi-Explosion.

[BibT_eX]

[DOI]

J. Philos. Log., 2020

Cut-elimination, Completeness and Craig Interpolation Theorems for Gurevich's Extended First-order Intuitionistic Logic with Strong Negation.

[BibT_eX]

[DOI]

FLAP, 2020

Some Properties for First-order Nelsonian Paraconsistent Quantum Logic.

[BibT_eX]

[DOI]

FLAP, 2020

Modal extension of ideal paraconsistent four-valued logic and its subsystem.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2020

Completeness of Subtrilattice Logic.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

Sequential Fuzzy Description Logic: Reasoning for Fuzzy Knowledge Bases with Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE International Symposium on Multiple-Valued Logic, 2020

An Extended Description Logic for Inconsistency-tolerant Ontological Reasoning with Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

A Substructural View of Multilattice Logic.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2019

Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework.

[BibT_eX]

[DOI]

Logica Universalis, 2019

Yet another paradefinite logic: The role of conflation1.

[BibT_eX]

[DOI]

Log. J. IGPL, 2019

Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

First-Order Nelsonian Paraconsistent Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

Towards Hierarchical Probabilistic CTL Model Checking: Theoretical Foundations.

[BibT_eX]

[DOI]

Yuki Yano

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Towards Locative Inconsistency-tolerant Hierarchical Probabilistic CTL Model Checking: Survey and Future Work.

[BibT_eX]

[DOI]

Juan Pedro Altamirano Bernal

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018

Logical foundations of hierarchical model checking.

[BibT_eX]

[DOI]

Data Technol. Appl., 2018

Extending paraconsistent quantum logic: a single-antecedent/succedent system approach.

[BibT_eX]

[DOI]

Math. Log. Q., 2018

Decidable temporal and sequential relevant logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2018

Proof Theory of Paraconsistent Quantum Logic.

[BibT_eX]

[DOI]

J. Philos. Log., 2018

Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples.

[BibT_eX]

[DOI]

Kazuki Endo

Proceedings of the Agents and Artificial Intelligence - 10th International Conference, 2018

Logics and Translations for Inconsistency-tolerant Model Checking.

[BibT_eX]

[DOI]

Kazuki Endo

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

2017

Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.

[BibT_eX]

[DOI]

Yaroslav Shramko

Stud Logica, 2017

Paraconsistent Double Negations as Classical and Intuitionistic Negations.

[BibT_eX]

[DOI]

Stud Logica, 2017

Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning.

[BibT_eX]

[DOI]

Reports Math. Log., 2017

Modal Multilattice Logic.

[BibT_eX]

[DOI]

Yaroslav Shramko

Logica Universalis, 2017

Embedding from multilattice logic into classical logic and vice versa.

[BibT_eX]

[DOI]

Yaroslav Shramko

J. Log. Comput., 2017

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

Logics with definitional reflection rules.

[BibT_eX]

[DOI]

J. Log. Comput., 2017

An Extended First-Order Belnap-Dunn Logic with Classical Negation.

[BibT_eX]

[DOI]

Hitoshi Omori

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Logics and translations for hierarchical model checking.

[BibT_eX]

[DOI]

Ryu Yano

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Natural Deduction for Connexive Paraconsistent Quantum Logic.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Extending Ideal Paraconsistent Four-Valued Logic.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

Phase Semantics for Multilattice Formalism.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic, 2017

2016

Paraconsistent double negation as a modal operator.

[BibT_eX]

[DOI]

Math. Log. Q., 2016

A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.

[BibT_eX]

[DOI]

Math. Log. Q., 2016

Bunched sequential information.

[BibT_eX]

[DOI]

J. Appl. Log., 2016

Method for Combining Paraconsistency and Probability in Temporal Reasoning.

[BibT_eX]

[DOI]

Daiki Koizumi

J. Adv. Comput. Intell. Intell. Informatics, 2016

Completeness of Connexive Heyting-Brouwer Logic.

[BibT_eX]

[DOI]

FLAP, 2016

Cut-Free Systems for Restricted Bi-Intuitionistic Logic and Its Connexive Extension.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Paraconsistent Double Negation That Can Simulate Classical Negation.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

Duality in Some Intuitionistic Paraconsistent Logics.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Intuitionistic De Morgan Verification and Falsification Logics.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

2015

Interpolation theorems for some variants of LTL.

[BibT_eX]

[DOI]

Reports Math. Log., 2015

Embedding theorems for LTL and its variants.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

Trilattice logic: an embedding-based approach.

[BibT_eX]

[DOI]

J. Log. Comput., 2015

Inconsistency-tolerant temporal reasoning with hierarchical information.

[BibT_eX]

[DOI]

Inf. Sci., 2015

Reasoning in Medical and Tutoring Systems: A Decidable First-Order Temporal Paraconsistent Non-Commutative Logic.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2015

A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - 5th International Workshop, 2015

Single-succedent System Approach to Boolean BI.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2015

Combining Paraconsistency and Probability in CTL.

[BibT_eX]

Daiki Koizumi

Proceedings of the ICAART 2015, 2015

Inconsistency and Sequentiality in LTL.

[BibT_eX]

Proceedings of the ICAART 2015, 2015

2014

An eight-valued praconsistent logic.

[BibT_eX]

[DOI]

Reports Math. Log., 2014

Inconsistency-Tolerant Multi-Agent Calculus.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2014

2013

Temporal BI: Proof system, semantics and translations.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

A Hierarchy of Weak Double Negations.

[BibT_eX]

[DOI]

Stud Logica, 2013

Temporal Gödel-Gentzen and Girard translations.

[BibT_eX]

[DOI]

Math. Log. Q., 2013

Strong normalization in some temporal substructural logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2013

Representing any-time and program-iteration by infinitary conjunction.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Inconsistency-Tolerant Bunched Implications.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2013

Reasoning about Resources and Information: A Linear Logic Approach.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

Formalizing Inconsistency-Tolerant Relevant Human Reasoning: A Decidable Paraconsistent Relevant Logic with Constructible Falsity.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Modeling and Verifying Inconsistency-Tolerant Temporal Reasoning with Hierarchical Information: Dealing with Students' Learning Processes.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

The Logic of Information Merge and Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2013

Embedding-Based Methods for Trilattice Logic.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

On Natural Eight-Valued Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

2012

Proof theory of Nelson's paraconsistent logic: A uniform perspective.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2012

Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic.

[BibT_eX]

[DOI]

Reports Math. Log., 2012

Embedding-based approaches to paraconsistent and temporal description logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2012

Bounded linear-time temporal logic: A proof-theoretic investigation.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2012

2011

Synchronized Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Stud Logica, 2011

A logic of sequences.

[BibT_eX]

[DOI]

Reports Math. Log., 2011

Paraconsistent Computation Tree Logic.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

Notes on Craig interpolation for LJ with strong negation.

[BibT_eX]

[DOI]

Math. Log. Q., 2011

Concept Finding Proofs.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2011

Conceptual modeling in full computation-tree logic with sequence modal operator.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2011

Phase semantics for linear-time formalism.

[BibT_eX]

[DOI]

Log. J. IGPL, 2011

A Paraconsistent Linear-time Temporal Logic.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Completeness and cut-elimination theorems for trilattice logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2011

Interpolation Theorems for Some Extended Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

A Decidable First-Order Logic for Medical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

On Temporal Gödel-Gentzen Translation.

[BibT_eX]

[DOI]

Proceedings of the Knowlege-Based and Intelligent Information and Engineering Systems, 2011

Paraconsistent Semantics for Description Logics: A Comparison.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2011

2010

Automating and computing paraconsistent reasoning: contraction-free, resolution and type systems.

[BibT_eX]

[DOI]

Reports Math. Log., 2010

Intuitionistic Trilattice Logics.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Dynamic Non-Commutative Logic.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2010

Combining linear-time temporal logic with constructiveness and paraconsistency.

[BibT_eX]

[DOI]

J. Appl. Log., 2010

Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2010

A Logic for Conceptual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

A Proof System for Temporal Reasoning with Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

A Sequent Calculus for 3-Dimensional Space.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010

Completeness for Generalized First-Order LTL.

[BibT_eX]

[DOI]

Proceedings of the KI 2010: Advances in Artificial Intelligence, 2010

A Logic for Incomplete Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

A Proof System for Time-Dependent Multi-agents.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

Paraconsistent Negation and Classical Negation in Computation Tree Logic.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Reasoning about Bounded Time Domain - An Alternative to NP-Complete Fragments of LTL.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Branching-time Versus Linear-time - A Cooperative and Feasible Approach.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

A Compatible Approach to Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Paraconsistent Description Logics Revisited.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Resource-Sensitive Reasoning with Sequential Information.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Proof Systems Combining Classical and Paraconsistent Negations.

[BibT_eX]

[DOI]

Stud Logica, 2009

Sequent Calculi for some Trilattice Logics.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2009

Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures.

[BibT_eX]

[DOI]

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

2008

Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.

[BibT_eX]

[DOI]

Motohiko Mouri

Logica Universalis, 2008

Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

2007

Synthesized substructural logics.

[BibT_eX]

[DOI]