Barcan formula
id:
barcan-formula-192-4051850
title:
Barcan formula
text:
In quantified modal logic, the Barcan formula and the converse Barcan formula (i) syntactically state principles of interchange between quantifiers and modalities; (ii) semantically state a relation between domains of possible worlds. The formulas were introduced as axioms by Ruth Barcan Marcus, in the first extensions of modal propositional logic to include quantification. Related formulas include the Buridan formula.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Barcan_formula
date created:
date modified:
2023-09-26T04:06:56Z
main entity:
{"identifier":"Q3748370","url":"https://www.wikidata.org/entity/Q3748370"}
image:
fields total:
13
integrity:
13