Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Dmitrij P. Skvortsov. Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete. In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe, Thomas Studer, editors, Advances in Modal Logic 12, proceedings of the 12th conference on "Advances in Modal Logic," held in Bern, Switzerland, August 27-31, 2018. pages 577-590, College Publications, 2018. [doi]

The following publications are possibly variants of this publication:

A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested DomainsDmitrij P. Skvortsov. logcom, 21(4):697-713, 2011. [doi]

On the predicate logic of finite Kripke framesDmitrij P. Skvortsov. sLogica, 54(1):79-88, 1995.

Kripke Sheaf Completeness of some Superintuitionistic Predicate Logics with a Weakened Constant Domains PrincipleDmitrij P. Skvortsov. sLogica, 100(1-2):361-383, 2012. [doi]

On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke FramesDmitrij P. Skvortsov. logcom, 16(5):685-695, 2006. [doi]

The superintuitionistic predicate logic of finite Kripke frames is not recursively axiomatizableDmitrij P. Skvortsov. JSYML, 70(2):451-459, 2005. [doi]

On Some Kripke Complete and Kripke Incomplete Intermediate Predicate LogicsDmitrij P. Skvortsov. sLogica, 61(2):281-292, 1998.

On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform TreesDmitrij P. Skvortsov. sLogica, 77(3):295-323, 2004. [doi]

Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate LogicsDmitrij P. Skvortsov, Valentin B. Shehtman. APAL, 63(1):69-101, 1993.

On the Predicate Logic of Linear Kripke Frames and some of its ExtensionsDmitrij P. Skvortsov. sLogica, 81(2):261-282, 2005. [doi]

runs on WebDSL