Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
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.
Babenyshev, S.
and
Rybakov, V.
2010.
Knowledge-Based and Intelligent Information and Engineering Systems.
Vol. 6277,
Issue. ,
p.
224.
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.
Babenyshev, S.
and
Rybakov, V.
2011.
Linear Temporal Logic LTL: Basis for Admissible Rules.
Journal of Logic and Computation,
Vol. 21,
Issue. 2,
p.
157.
Metcalfe, George
2012.
Logic, Language, Information and Computation.
Vol. 7456,
Issue. ,
p.
56.
IEMHOFF, ROSALIE
and
ROZIÈRE, PAUL
2015.
UNIFICATION IN INTERMEDIATE LOGICS.
The Journal of Symbolic Logic,
Vol. 80,
Issue. 3,
p.
713.
Condoluci, Andrea
and
Manighetti, Matteo
2018.
Admissible Tools in the Kitchen of Intuitionistic Logic.
Electronic Proceedings in Theoretical Computer Science,
Vol. 281,
Issue. ,
p.
10.
Gispert, Joan
Haniková, Zuzana
Moraschini, Tommaso
and
Stronkowski, Michał
2022.
Structural Completeness in Many-Valued Logics with Rational Constants.
Notre Dame Journal of Formal Logic,
Vol. 63,
Issue. 3,
Bezhanishvili, Nick
and
Moraschini, Tommaso
2023.
Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality.
Studia Logica,
Vol. 111,
Issue. 2,
p.
147.
Pezlar, Ivo
2024.
Constructive Validity of a Generalized Kreisel–Putnam Rule.
Studia Logica,
de Jongh, Dick
2024.
Dick de Jongh on Intuitionistic and Provability Logics.
Vol. 28,
Issue. ,
p.
1.