上出 哲広

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

Journal of Logic, Language and Information 32(3) 395-440 2023年8月  査読有り

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

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 30-35 2023年  査読有り

Natural Deduction with Explosion and Excluded Middle. 

Proceedings of the 53rd IEEE International Symposium on Multiple-Valued Logic 24-29 2023年  査読有り

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

Logica Universalis 16(3) 389-417 2022年  査読有り

Embedding Friendly First-Order Paradefinite and Connexive Logics. 

Journal of Philosophical Logic 51(5) 1055-1102 2022年  査読有り

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

International Journal of Software Engineering and Knowledge Engineering 32(7) 971-1017 2022年  査読有り

Falsification-aware Twist Structures in Description Logic. 

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 119-124 2022年  査読有り

Falsification-aware Semantics for Description Logics. 

Proceedings of the 52nd IEEE International Symposium on Multiple-Valued Logic 100-105 2022年  査読有り

Herbrand and contraposition-elimination theorems for extended first-order Belnap-Dunn logic 

Relevance Logics and other Tools for Reasoning: Essays in Honor of J. Michael Dunn (Katalin Bimbo editor), Tribute Series 46 237-260 2022年  査読有り

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

Int. J. Softw. Eng. Knowl. Eng. 32(1) 131-162 2022年  査読有り

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

Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 242-252 2022年  査読有り

Reasoning with Inconsistency-tolerant Fuzzy Description Logics. 

Proceedings of the 14th International Conference on Agents and Artificial Intelligence (ICAART 2022) 3 63-74 2022年  査読有り

Falsification-Aware Semantics and Sequent Calculi for Classical Logic. 

J. Philos. Log. 51(1) 99-126 2022年  査読有り

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

Studia Logica 109(6) 1241-1271 2021年  査読有り

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

Journal of Applied Logics - The IfCoLoG Journal of Logics and their Applications 8(5) 1101-1122 2021年  査読有り

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

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic 43-49 2021年  査読有り

Symmetric Paraconsistent Quantum Logic 

Proceedings of the 51st IEEE International Symposium on Multiple-Valued Logic 26-32 2021年  査読有り

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

J. Philos. Log. 50(4) 781-811 2021年  査読有り

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

J. Log. Lang. Inf. 30(3) 491-531 2021年  査読有り

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

Proceedings of the 13th International Conference on Agents and Artificial Intelligence 490-499 2021年  査読有り