The following pages link to (Q4951952):
Displaying 50 items.
- Information completeness in Nelson algebras of rough sets induced by quasiorders (Q383570) (← links)
- On the ternary relation and conditionality (Q452358) (← links)
- Informational semantics as a third alternative? (Q488328) (← links)
- The logic of indexicals (Q514599) (← links)
- Constructing situations and time (Q543532) (← links)
- Order-sorted unification (Q582269) (← links)
- Tarski, truth and natural languages (Q598262) (← links)
- Tarski's definition and truth-makers (Q598268) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- The nature of information: a relevant approach (Q625698) (← links)
- Logic, formal methodology and semantics in works of Ryszard Wójcicki (Q647407) (← links)
- Possible worlds in use (Q647416) (← links)
- Legality concepts for three-valued logic programs (Q689286) (← links)
- On partial and paraconsistent logics (Q701297) (← links)
- Situations in LTL as strings (Q731890) (← links)
- Logical space and metaphysical systems (Q762055) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- General information in relevant logic (Q833037) (← links)
- Why propositions might be sets of truth-supporting circumstances (Q848215) (← links)
- Worlds, models and descriptions (Q863186) (← links)
- On formalisms (Q921958) (← links)
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- The slingshot argument and sentential identity (Q1015494) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Formal theories of knowledge in AI and robotics (Q1079021) (← links)
- Are grades of membership probabilities? (Q1115443) (← links)
- Unification theory (Q1124375) (← links)
- Semantic networks (Q1202620) (← links)
- Conceptual graphs as a universal knowledge representation (Q1202623) (← links)
- From environments to representations -- a mathematical theory of artificial perceptions (Q1274888) (← links)
- Belief as defeasible knowledge (Q1313959) (← links)
- Property theory: The type-free approach \(v\). The Church approach (Q1319264) (← links)
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639) (← links)
- Functoriality and grammatical role in syllogisms (Q1333307) (← links)
- Issues in commonsense set theory (Q1346620) (← links)
- A feature-based syntax/semantics interface (Q1353901) (← links)
- HYPERSOLVER: A graphical tool for commonsense set theory (Q1357081) (← links)
- Causality as a key to the frame problem (Q1392090) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- The subject matter fallacy (Q1414573) (← links)
- Williamson on counterpossibles (Q1670493) (← links)
- A situationalist solution to the Ship of Theseus puzzle (Q1706746) (← links)
- The collapse of logical pluralism has been greatly exaggerated (Q1707192) (← links)
- Dynamical infomorphism: form of endo-perspective (Q1766570) (← links)
- Probabilistic approaches to vagueness and semantic competency (Q1800430) (← links)
- An information-based theory of conditionals (Q1861134) (← links)
- Standard quantification theory in the analysis of English (Q1868333) (← links)
- What is character? (Q1896780) (← links)
