The following pages link to CONTINGENCY AND KNOWING WHETHER (Q5247344):
Displayed 32 items.
- Bimodal logic with contingency and accident: bisimulation and axiomatizations (Q2044999) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- Two variants of noncontingency operator (Q2075274) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- A unified logic for contingency and accident (Q2155936) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Modal systems for covering semantics and boundary operator (Q2237204) (← links)
- Planning-based knowing how: a unified approach (Q2238589) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Symmetric contingency logic with unlimitedly many modalities (Q2281315) (← links)
- A family of neighborhood contingency logics (Q2295739) (← links)
- A modal logic of supervenience (Q2319894) (← links)
- Strong noncontingency: on the modal logics of an operator expressively weaker than necessity (Q2330503) (← links)
- Bimodal logics with contingency and accident (Q2421523) (← links)
- A logic of knowing why (Q2693121) (← links)
- Tableau-based decision procedure for logic of knowing-how via simple plans (Q2695519) (← links)
- Free choice in modal inquisitive logic (Q2698544) (← links)
- Neighborhood Contingency Logic (Q2937393) (← links)
- Beyond Knowing That: A New Generation of Epistemic Logics (Q3299590) (← links)
- A Road to Ultrafilter Extensions (Q3305690) (← links)
- (Q3384090) (← links)
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation (Q3457699) (← links)
- A Logic of Knowing How (Q3457721) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE (Q4961740) (← links)
- A Non-Standard Kripke Semantics for the Minimal Deontic Logic (Q5013618) (← links)
- BISIMULATIONS FOR KNOWING HOW LOGICS (Q5078817) (← links)
- Neighbourhood Contingency Bisimulation (Q5224490) (← links)
- Achieving While Maintaining: (Q5224498) (← links)
- The logic of secrets and the interpolation rule (Q6133700) (← links)
- Some notes on dyadic contingency (Q6156623) (← links)
- The alternation hierarchy of the \(\mu \)-calculus over weakly transitive frames (Q6160744) (← links)