The following pages link to (Q3629247):
Displayed 10 items.
- The logic of empirical theories revisited (Q383008) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← links)
- (Q3384078) (← links)
- Dynamic Epistemic Logic as a Substructural Logic (Q5249692) (← links)
- To be announced (Q6040661) (← links)
- Non-monotonic reasoning via dynamic consequence (Q6160757) (← links)
- Basic Four-Valued Systems of Cyclic Negations (Q6200455) (← links)