Tangled modal logic for topological dynamics (Q764267): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Created claim: DBLP publication ID (P1635): journals/apal/Duque12, #quickstatements; #temporary_batch_1731543907597 |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q58883306 / rank | |||
Normal rank | |||
| 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 | |||
| Property / DBLP publication ID | |||
| Property / DBLP publication ID: journals/apal/Duque12 / rank | |||
Normal rank | |||
Latest revision as of 01:30, 14 November 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
