Best solving modal equations
From MaRDI portal
Publication:1971794
DOI10.1016/S0168-0072(99)00032-9zbMath0949.03010OpenAlexW2077847391WikidataQ56474448 ScholiaQ56474448MaRDI QIDQ1971794
Publication date: 6 December 2000
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(99)00032-9
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25) Free algebras (08B20)
Related Items (46)
On rules ⋮ Admissible bases via stable canonical rules ⋮ A syntactic approach to unification in transitive reflexive modal logics ⋮ About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \) ⋮ About the unification type of \(\mathbf{K}+\square \square \bot\) ⋮ The basic intuitionistic logic of proofs ⋮ UNIFICATION IN INTERMEDIATE LOGICS ⋮ Logical equations in monadic logic ⋮ Admissibility and Unifiability in Contact Logics ⋮ A Tableau Method for Checking Rule Admissibility in S4 ⋮ Filtering unification and most general unifiers in modal logic ⋮ Admissibility in De Morgan algebras ⋮ Multiagent temporal logics, unification problems, and admissibilities ⋮ Complexity of admissible rules ⋮ Unification, finite duality and projectivity in varieties of Heyting algebras ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ Finitary unification in locally tabular modal logics characterized ⋮ Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) ⋮ On unification and admissible rules in Gabbay-de Jongh logics ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ Dynamic temporal logical operations in multi-agent logics ⋮ Admissible rules for six intuitionistic modal logics ⋮ Reflecting rules: a note on generalizing the deduction theorem ⋮ Admissibility and unification in the modal logics related to S4.2 ⋮ Admissible rules in the implication-negation fragment of intuitionistic logic ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ Best unifiers in transitive modal logics ⋮ Checking Admissibility Using Natural Dualities ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond ⋮ Contact Logic is Finitary for Unification with Constants ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) ⋮ Unification in pretabular extensions of S4 ⋮ 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ Unification in linear temporal logic LTL ⋮ Frege systems for extensible modal logics ⋮ Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics ⋮ Unification in the Description Logic $\mathcal{EL}$ ⋮ Proof theory for admissible rules ⋮ Canonical rules ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Rules with parameters in modal logic. I. ⋮ Admissibility via natural dualities
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
- Unification theory
- Boolean unification - the story so far
- A Resolution/Tableaux Algorithm for Projective Approximations in IPC
- Logics containing K4. Part II
- Semantics-Based Translation Methods for Modal Logics
- Unification in intuitionistic logic
- Unification through projectivity
- Logics containing K4. Part I
This page was built for publication: Best solving modal equations
