The following pages link to Osamu Sonobe (Q588143):
Displayed 45 items.
- Speaking about transitive frames in propositional languages (Q1289105) (← links)
- Cut-free sequent calculi for some tense logics (Q1317905) (← links)
- Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690) (← links)
- The undecidability of Grišin's set theory (Q1402586) (← links)
- Substructural logics: a primer (Q1405890) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- On some Kripke complete and Kripke incomplete intermediate predicate logics (Q1580656) (← links)
- Arrow logic and infinite counting (Q1582310) (← links)
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster (Q1582312) (← links)
- The incompleteness of RGL (Q1591336) (← links)
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373) (← links)
- Topological-frame products of modal logics (Q1756592) (← links)
- Weak theories of linear algebra (Q1766923) (← links)
- On intermediate predicate logics of some finite Kripke frames. I: Levelwise uniform trees (Q1770592) (← links)
- A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
- Displaying modal logic (Q1817696) (← links)
- Rule separation and embedding theorems for logics without weakening (Q1826930) (← links)
- Semantics for analytic containment (Q1876092) (← links)
- The proof complexity of linear algebra (Q1886325) (← links)
- Dynamic squares (Q1902558) (← links)
- An algebraic proof of the admissibility of \(\gamma \) in relevant modal logics (Q1935555) (← links)
- The language of mathematics. A linguistic and philosophical investigation (Q1940486) (← links)
- The idea of a proof-theoretic semantics and the meaning of the logical operations (Q1970589) (← links)
- An operational logic of proofs with positive and negative information (Q1970597) (← links)
- The logic of intentional objects. A Meinongian version of classical logic (Q1972254) (← links)
- On the existence of continua of logics between some intermediate predicate logics (Q1975164) (← links)
- Reflexive-insensitive logics, the boxdot translation, and the modal logic of generic absoluteness (Q1982014) (← links)
- Effectively constructible fixed points in Sacchetti's modal logics of provability (Q2134275) (← links)
- Kripke semantics for knowledge representation logics (Q2277447) (← links)
- A family of neighborhood contingency logics (Q2295739) (← links)
- A strict implication calculus for compact Hausdorff spaces (Q2326420) (← links)
- The embedding theorem: its further developments and consequences. I (Q2372685) (← links)
- Admissible rules and the Leibniz hierarchy (Q2374395) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Computing interpolants in implicational logics (Q2503400) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- (Q4152215) (← links)
- (Q4200058) (← links)
- The principles of interpretability (Q5937854) (← links)
- Fixed points and unfounded chains (Q5939843) (← links)
- Model existence in non-compact modal logic (Q5939997) (← links)
- Cut elimination for a calculus with context-dependent rules (Q5945008) (← links)
- Logic of proofs and provability (Q5957921) (← links)
- Arithmetical completeness theorems for monotonic modal logics (Q6040616) (← links)