Pages that link to "Item:Q4795876"
From MaRDI portal
The following pages link to Bridges between Classical and Nonmonotonic Logic (Q4795876):
Displaying 13 items.
- Adaptive logic as a modal logic (Q383560) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Generation and selection of abductive explanations for non-omniscient agents (Q2258807) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- A Multi-agent Default Theory of Permission (Q3298277) (← links)
- Algebraic Methods for Granular Rough Sets (Q3299868) (← links)
- Keeping Globally Inconsistent Scientific Theories Locally Consistent (Q3305334) (← links)
- FRACTIONAL SEMANTICS FOR CLASSICAL LOGIC (Q3389493) (← links)
- XIV Latin American Symposium on Mathematical Logic (SLALM) (Q3398618) (← links)
- DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT (Q5414136) (← links)
- Logical forms, substitutions and information types (Q6535318) (← links)
- Modulo reasoning. I: Logic of undeducibility (Q6581941) (← links)