Bulletin of the Section of Logic 28 (3):145-157 (1999)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 69,043
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
KD is Nullary.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):196-205.
Structural Completeness in Substructural Logics.J. S. Olson, J. G. Raftery & C. J. Van Alten - 2008 - Logic Journal of the IGPL 16 (5):453-495.
Unification in Epistemic Logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.
Projective Unification in Transitive Modal Logics.Sławomir Kost - 2018 - Logic Journal of the IGPL 26 (5):548-566.
Remarks About the Unification Type of Several Non-Symmetric Non-Transitive Modal Logics.Philippe Balbiani - 2019 - Logic Journal of the IGPL 27 (5):639-658.
View all 9 citations / Add more citations
Similar books and articles
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Best Unifiers in Transitive Modal Logics.Vladimir V. Rybakov - 2011 - Studia Logica 99 (1-3):321-336.
Axiomatizations with Context Rules of Inference in Modal Logic.Valentin Goranko - 1998 - Studia Logica 61 (2):179-197.
Criteria for Admissibility of Inference Rules. Modal and Intermediate Logics with the Branching Property.Vladimir V. Rybakov - 1994 - Studia Logica 53 (2):203 - 225.
On Self-Admissible Quasi-Characterizing Inference Rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics.V. V. Rimatski & V. V. Rybakov - 2005 - Bulletin of the Section of Logic 34 (2):93-99.
Logical Equations and Admissible Rules of Inference with Parameters in Modal Provability Logics.V. V. Rybakov - 1990 - Studia Logica 49 (2):215 - 239.
Filtering Unification and Most General Unifiers in Modal Logic.Silvio Ghilardi & Lorenzo Sacchetti - 2004 - Journal of Symbolic Logic 69 (3):879-906.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Decidability of Modal Logics S4⊕ Αn, S4⊕ Ξn Wrt Admissible Inference Rules.A. N. Rutskiy - 2001 - Bulletin of the Section of Logic 30 (4):181-189.
Discrete Linear Temporal Logic with Current Time Point Clusters, Deciding Algorithms.V. Rybakov - 2008 - Logic and Logical Philosophy 17 (1-2):143-161.
Analytics
Added to PP index
2014-01-19
Total views
19 ( #579,155 of 2,498,734 )
Recent downloads (6 months)
1 ( #426,098 of 2,498,734 )
2014-01-19
Total views
19 ( #579,155 of 2,498,734 )
Recent downloads (6 months)
1 ( #426,098 of 2,498,734 )
How can I increase my downloads?
Downloads
