Pages that link to "Item:Q2276944"
From MaRDI portal
The following pages link to Axiomatization of `Peircean' branching-time logic (Q2276944):
Displaying 7 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- Branching-time logic with quantification over branches: The point of view of modal logic (Q4879898) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
