Tangled modal logic for topological dynamics (Q764267): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q58883306, #quickstatements; #temporary_batch_1711574657256 |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q2744124 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Modal characterisation theorems over special classes of frames / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Non-deterministic semantics for dynamic topological logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On the modal definability of simulability by finite transitive models / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Propositional temporal logics: decidability and completeness / rank | |||
Normal rank | |||
Revision as of 23:26, 4 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tangled modal logic for topological dynamics |
scientific article |
Statements
Tangled modal logic for topological dynamics (English)
0 references
13 March 2012
0 references
dynamic topological logic
0 references
spatial reasoning
0 references
temporal reasoning
0 references
modal logic
0 references
