Pages that link to "Item:Q1288173"
From MaRDI portal
The following pages link to An extended branching-time Ockhamist temporal logic (Q1288173):
Displaying 9 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Transition semantics for branching time (Q302231) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- A branching time logic with past operators (Q1337463) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)
- Decidability and Expressivity of Ockhamist Propositional Dynamic Logics (Q2835868) (← links)
- Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL (Q4276172) (← links)
- Axioms for Branching Time (Q5894818) (← links)