Sahlqvist formula
id:
sahlqvist-formula-207-1824438
title:
Sahlqvist formula
text:
In modal logic, Sahlqvist formulas are a certain kind of modal formula with remarkable properties. The Sahlqvist correspondence theorem states that every Sahlqvist formula is canonical, and corresponds to a class of Kripke frames definable by a first-order formula. Sahlqvist's definition characterizes a decidable set of modal formulas with first-order correspondents. Since it is undecidable, by Chagrova's theorem, whether an arbitrary modal formula has a first-order correspondent, there are form
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Sahlqvist_formula
date created:
2004-08-21T15:08:12Z
date modified:
2024-09-11T08:16:14Z
main entity:
{"identifier":"Q3077634","url":"https://www.wikidata.org/entity/Q3077634"}
image:
fields total:
13
integrity:
14