Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ghilardi, Silvio
2004.
Unification, finite duality and projectivity in varieties of Heyting algebras.
Annals of Pure and Applied Logic,
Vol. 127,
Issue. 1-3,
p.
99.
Rybakov, V.
2007.
Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.
Journal of Logic and Computation,
Vol. 18,
Issue. 4,
p.
509.
Kracht, Marcus
2007.
Handbook of Modal Logic.
Vol. 3,
Issue. ,
p.
491.
Wolter, Frank
and
Zakharyaschev, Michael
2008.
Undecidability of the unification and admissibility problems for modal and description logics.
ACM Transactions on Computational Logic,
Vol. 9,
Issue. 4,
p.
1.
Iemhoff, Rosalie
and
Metcalfe, George
2008.
Logical Foundations of Computer Science.
Vol. 5407,
Issue. ,
p.
230.
Babenyshev, Sergey
Rybakov, Vladimir
Schmidt, Renate A.
and
Tishkovsky, Dmitry
2010.
A Tableau Method for Checking Rule Admissibility in S4.
Electronic Notes in Theoretical Computer Science,
Vol. 262,
Issue. ,
p.
17.
Rybakov, Vladimir
2010.
Rules admissible in transitive temporal logic TS4, sufficient condition.
Theoretical Computer Science,
Vol. 411,
Issue. 50,
p.
4323.
Rybakov, Vladimir
2010.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6278,
Issue. ,
p.
323.
Rybakov, Vladimir V.
2011.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6881,
Issue. ,
p.
171.
Rybakov, Vladimir V.
2011.
Knowlege-Based and Intelligent Information and Engineering Systems.
Vol. 6882,
Issue. ,
p.
478.
Baader, F.
and
Ghilardi, S.
2011.
Unification in modal and description logics.
Logic Journal of IGPL,
Vol. 19,
Issue. 6,
p.
705.
Dzik, W.
and
Wojtylak, P.
2012.
Projective unification in modal logic.
Logic Journal of IGPL,
Vol. 20,
Issue. 1,
p.
121.
Rybakov, V.
2014.
Projective formulas and unification in linear temporal logic LTLU.
Logic Journal of IGPL,
Vol. 22,
Issue. 4,
p.
665.
Dzik, Wojciech
and
Wojtylak, Piotr
2015.
Almost structurally complete infinitary consequence operations extending S4.3.
Logic Journal of IGPL,
Vol. 23,
Issue. 4,
p.
640.
Jeřábek, Emil
2015.
Rules with parameters in modal logic I.
Annals of Pure and Applied Logic,
Vol. 166,
Issue. 9,
p.
881.
Balbiani, Philippe
and
Gencer, Çiğdem
2017.
Unification in epistemic logics.
Journal of Applied Non-Classical Logics,
Vol. 27,
Issue. 1-2,
p.
91.
Balbiani, Philippe
and
Gencer, Çiğdem
2017.
KD is nullary.
Journal of Applied Non-Classical Logics,
Vol. 27,
Issue. 3-4,
p.
196.
Balbiani, Philippe
2019.
Remarks about the unification type of several non-symmetric non-transitive modal logics.
Logic Journal of the IGPL,
Vol. 27,
Issue. 5,
p.
639.
Balbiani, Philippe
2019.
Logic and Its Applications.
Vol. 11600,
Issue. ,
p.
1.
DZIK, WOJCIECH
and
WOJTYLAK, PIOTR
2019.
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS.
The Review of Symbolic Logic,
Vol. 12,
Issue. 1,
p.
37.