( en | de | ru )

 

Disambiguation of "Kamide, Norihiro"

Author of the publication

copydeleteadd this publication to your clipboard
Sequent Calculi for some Trilattice Logics.

, and . Rev. Symb. Log., 2 (2): 374-395 (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Norihiro Watanabe

Norihiro Noda

Norihiro Noda

Norihiro Noda

 

Other publications of authors with the same name

Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic.. J. Log. Comput., 27 (7): 2271-2301 (2017)Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures., and . Australasian Conference on Artificial Intelligence, volume 5866 of Lecture Notes in Computer Science, page 485-494. Springer, (2009)A Proof System for Temporal Reasoning with Sequential Information.. SBIA, volume 6404 of Lecture Notes in Computer Science, page 283-292. Springer, (2010)The Logic of Information Merge and Sequential Information.. SMC, page 1853-1858. IEEE, (2013)A Proof System for Time-Dependent Multi-agents.. KES (1), volume 6276 of Lecture Notes in Computer Science, page 178-187. Springer, (2010)Completeness of Connexive Heyting-Brouwer Logic., and . FLAP, 3 (3): 441-466 (2016)A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics.. Math. Log. Q., 62 (3): 177-189 (2016)Inconsistency-tolerant temporal reasoning with hierarchical information.. Inf. Sci., (2015)Logical foundations of hierarchical model checking.. Data Technol. Appl., 52 (4): 539-563 (2018)A Hierarchy of Weak Double Negations.. Stud Logica, 101 (6): 1277-1297 (2013)