Pages that link to "Item:Q2462682"
From MaRDI portal
The following pages link to Finite models constructed from canonical formulas (Q2462682):
Displaying 19 items.
- Automorphisms of the lattice of classical modal logics (Q284221) (← links)
- Complete axiomatizations for XPath fragments (Q975868) (← links)
- The complexity of identifying characteristic formulae (Q1987735) (← links)
- A general multi-agent epistemic planner based on higher-order belief change (Q2060686) (← links)
- Forgetting in multi-agent modal logics (Q2321251) (← links)
- On final coalgebras of power-set functors and saturated trees (Q2516577) (← 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)
- Derivation rules as anti-axioms in modal logic (Q4276034) (← links)
- DEL-sequents for regression and epistemic planning (Q4583175) (← links)
- The succinctness of the cover modality (Q4586149) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)
- DEL-sequents for progression (Q5891665) (← links)
- DEL-sequents for progression (Q5891666) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)
