Pages that link to "Item:Q3507416"
From MaRDI portal
The following pages link to Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416):
Displaying 4 items.
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
