Pages that link to "Item:Q4487266"
From MaRDI portal
The following pages link to Representation, reasoning, and relational structures: a hybrid logic manifesto (Q4487266):
Displaying 15 items.
- A letter on the present state of affairs. Prior, indeterminism and relativity 40 years later (Q395587) (← links)
- Completeness results for memory logics (Q408552) (← links)
- Completeness in hybrid type theory (Q484101) (← links)
- The complexity of satisfiability for fragments of hybrid logic. I. (Q631087) (← links)
- Complexity of hybrid logics over transitive frames (Q631089) (← links)
- A study on multi-dimensional products of graphs and hybrid logics (Q654915) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Arthur Prior and hybrid logic (Q857663) (← links)
- The logic of location (Q857667) (← links)
- A hybrid logic for reasoning about knowledge and topology (Q1006488) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- On the expressive power of hybrid branching-time logics (Q1989342) (← links)
- Computational complexity of hybrid interval temporal logics (Q2084954) (← links)
- (Q5079784) (← links)
- Dynamic Reconfiguration via Typed Modalities (Q6488473) (← links)
