Dimitrij Skvortsov (skvortsov)

Contributions to Philosophie.ch

Bibliography

Gabbay, Dov M., Shehtman, Valentin and Skvortsov, Dimitrij. 2009. Quantification in Nonclassical Logic. Volume 1. Studies in Logic and the Foundations of Mathematics n. 153. Amsterdam: North-Holland Publishing Co.
Skvortsov, Dimitrij. 1995. “On the Predicate Logic of Finite Kripke Frames.” Studia Logica: An International Journal for Symbolic Logic 54(1): 79–88.
Skvortsov, Dimitrij. 1997. “Not Every ‘Tabular’ Predicate Logic is Finitely Axiomatizable.” Studia Logica: An International Journal for Symbolic Logic 59(3): 387–396.
Skvortsov, Dimitrij. 1998. “On some Kripke Complete and Kripke Incomplete Intermediate Predicate Logics.” Studia Logica: An International Journal for Symbolic Logic 61(2): 281–292.
Skvortsov, Dimitrij. 2003. “An Incompleteness Result for Predicate Extensions of Intermediate Propositional Logics.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 461–474. London: King’s College Publications.
Skvortsov, Dimitrij. 2010. “A Remark on Propositional Kripke Frames Sound for Intuitionistic Logic.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 392–410. London: King’s College Publications.
Skvortsov, Dimitrij. 2012. “A Remark on a Peculiarity in the Functor Semantics for Superintuitionistic Predicate Logics with (or without) Equality.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 483–493. London: King’s College Publications.