scientific article; zbMATH DE number 1471983
From MaRDI portal
zbMATH Open0952.03019MaRDI QIDQ4489067FDOQ4489067
Authors: M. Terziler, Çiğdem Gencer, Vladimir Rybakov 
Publication date: 9 July 2000
Title of this publication is not available (Why is that?)
Recommendations
- Unification and Passive Inference Rules for Modal Logics
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- Unification in modal and description logics
- Unification in first-order transitive modal logic
- Remarks about the unification types of some locally tabular normal modal logics
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)
Cited In (26)
- A syntactic approach to unification in transitive reflexive modal logics
- Undecidability of the unification and admissibility problems for modal and description logics
- Unification and Passive Inference Rules for Modal Logics
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
- Almost structural completeness; an algebraic approach
- Projective unification in transitive modal logics
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
- Remarks about the unification type of several non-symmetric non-transitive modal logics
- UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
- Unification in modal logic \(\mathrm{Alt}_1\)
- Filtering unification and most general unifiers in modal logic
- About the unification types of modal logics
- Notes on my scientific life
- Admissible inference rules of modal WCP-logics
- An explicit basis for \textit{WCP}-globally admissible inference rules
- Hereditarily structurally complete superintuitionistic deductive systems
- Axiomatizations with context rules of inference in modal logic
- Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
- Explicit basis for admissible rules in \(K\)-saturated tabular logics
- Admissibility and refutation: some characterisations of intermediate logics
- Title not available (Why is that?)
- Unification types in Euclidean modal logics
- Remarks about the unification types of some locally tabular normal modal logics
- KD is nullary
- Unification in epistemic logics
- Unification in modal and description logics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489067)
