Barcan formula

Schema in modal logic

Wikidata entity: Q3748370



P2534 defining formula Math xFxxFx ???
P61 discoverer or inventor ... Q437943 (Ruth Barcan Marcus) Ruth Barcan Marcus
P31 instance of ... Q976981 (formula) formula
P6104 maintained by WikiProject ... Q8487137 (WikiProject Mathematics) WikiProject Mathematics
P138 named after ... Q437943 (Ruth Barcan Marcus) Ruth Barcan Marcus

External Ids
P646Freebase ID/m/01kh_j
P3827JSTOR topic ID (archived)barcan-formula
P6366Microsoft Academic ID (discontinued)38977897
P4215nLab IDBarcan formula

Why not click here or view trends?

log id: 7585230