Pages that link to "Item:Q4934812"

The following pages link to Formalizing action and change in modal logic I: the frame problem (Q4934812):

Displayed 13 items.

• A semantic characterization of a useful fragment of the situation calculus with knowledge (Q543586) ‎ (← links)
• The situation calculus: a case for modal logic (Q616039) ‎ (← links)
• Conditional logic of actions and causation (Q814610) ‎ (← links)
• Means-end relations and a measure of efficacy (Q853789) ‎ (← links)
• A logic of intention and attempt (Q934779) ‎ (← links)
• Metatheory of actions: beyond consistency (Q1028966) ‎ (← links)
• t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) ‎ (← links)
• SLAP: specification logic of actions with probability (Q2447174) ‎ (← links)
• A semantics for means-end relations (Q2460183) ‎ (← links)
• Stable Models for Temporal Theories (Q3449185) ‎ (← links)
• Regression in Modal Logic (Q3647207) ‎ (← links)
• Frame problem in dynamic logic (Q3647228) ‎ (← links)
• From KLM-style conditionals to defeasible modalities, and back (Q5375876) ‎ (← links)