Commutativity of Quantifiers in Varying-Domain Kripke Models (Q3600561)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5502952
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Commutativity of Quantifiers in Varying-Domain Kripke Models |
scientific article; zbMATH DE number 5502952 |
Statements
Commutativity of Quantifiers in Varying-Domain Kripke Models (English)
0 references
5 February 2009
0 references
commutative quantification law for universal quantifiers
0 references
Barcan formula
0 references
converse Barcan formula
0 references
first-order modal logic
0 references
Kripke models
0 references
non-Kripke models
0 references
possible-worlds semantics
0 references
0.7383360266685486
0 references
0.7283226251602173
0 references
0.7192040681838989
0 references
