Pages that link to "Item:Q2462682"
From MaRDI portal
The following pages link to Finite models constructed from canonical formulas (Q2462682):
Displayed 7 items.
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- Characteristic formulae for fixed-point semantics: a general framework (Q2883115) (← links)
- A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)