Naming worlds in modal and temporal logic (Q5960007)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Naming worlds in modal and temporal logic |
scientific article; zbMATH DE number 1727123
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Naming worlds in modal and temporal logic |
scientific article; zbMATH DE number 1727123 |
Statements
Naming worlds in modal and temporal logic (English)
0 references
11 April 2002
0 references
Predicate modal and temporal logics are studied in which a locality predicate \(W\) is added which gives names to worlds (or time points). An equal time predicate \(D(x,y)\) is also added which states that two time points are at the same distance from the root. Complete axiomatizations are provided for the systems studied. The completeness proofs use a procedure similar to a Henkin completion mixed with a tableau construction. The expressive power of the systems considered is highlighted by simulating other logics.
0 references
hybrid modal logic
0 references
nominals
0 references
predicate logic
0 references
temporal logic
0 references
locality predicate
0 references
time predicate
0 references
completeness
0 references
expressive power
0 references
0.7278890609741211
0 references
0.7254918217658997
0 references
0.7237688302993774
0 references
0.7226132750511169
0 references
