Unification and Passive Inference Rules for Modal Logics
From MaRDI portal
Publication:4443406
DOI10.1080/11663081.2000.10511004zbMath1040.03014OpenAlexW2026999237MaRDI QIDQ4443406
Çiğdem Gencer, Mehmet Terziler, Vladimir Vladimirovich Rybakov
Publication date: 11 January 2004
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2000.10511004
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)
Related Items
Multiple Conclusion Rules in Logics with the Disjunction Property ⋮ Ideal Related Algebras and Their Logics Extended Abstract ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Deductive systems with multiple-conclusion rules and the disjunction property
Cites Work
This page was built for publication: Unification and Passive Inference Rules for Modal Logics
