The following pages link to Norihiro Kamide (Q266882):
Displayed 50 items.
- A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
- (Q3086526) (← links)
- Logics with definitional reflection rules (Q3133173) (← links)
- Embedding from multilattice logic into classical logic and vice versa (Q3133174) (← links)
- Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic (Q3133194) (← links)
- Embedding-based approaches to paraconsistent and temporal description logics (Q3165753) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality (Q3387890) (← links)
- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Temporal non-commutative logic: Expressing time, resource, order and hierarchy (Q3400300) (← links)
- (Q3433179) (← links)
- (Q3435246) (← links)
- (Q3435250) (← links)
- Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
- A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning (Q3457702) (← links)
- Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials (Q3532470) (← links)
- (Q3558858) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
- A note on dual-intuitionistic logic (Q4434506) (← links)
- (Q4443190) (← links)
- Representing any-time and program-iteration by infinitary conjunction (Q4583319) (← links)
- Interpolation theorems for some variants of LTL (Q4596923) (← links)
- Paraconsistent Sequential Linear-Time Temporal Logic: Combining Paraconsistency and Sequentiality in Temporal Reasoning (Q4609353) (← links)
- Decidable temporal and sequential relevant logics* (Q4612410) (← links)
- Combining Soft Linear Logic and Spatio-temporal Operators (Q4659503) (← links)
- Linear Logics with Communication-merge (Q4673354) (← links)
- (Q4678356) (← links)
- (Q4703130) (← links)
- (Q4704073) (← links)
- Relevance Principle for Substructural Logics with Mingle and Strong Negation (Q4796457) (← links)
- Sequent Calculi for Intuitionistic Linear Logic with Strong Negation (Q4796512) (← links)
- Classical linear logics with mix separation principle (Q4804181) (← links)
- (Q4807689) (← links)
- (Q4903913) (← links)
- Strong normalization in some temporal substructural logics (Q4914411) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- (Q4918420) (← links)
- (Q5039129) (← links)
- (Q5100003) (← links)
- Extending paraconsistent quantum logic: a single‐antecedent/succedent system approach (Q5109233) (← links)
- (Q5144357) (← links)
- (Q5175691) (← links)
- Yet another paradefinite logic: The role of conflation1 (Q5241918) (← links)
- Trilattice logic: an embedding-based approach (Q5262476) (← links)
- Synthesized substructural logics (Q5293191) (← links)
- (Q5411415) (← links)
- (Q5411470) (← links)
- (Q5411482) (← links)