scientific article; zbMATH DE number 1442964

zbMath0946.03007MaRDI QIDQ4951952

Publication date: 9 May 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Formal theories of knowledge in AI and robotics, TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic, Functoriality and grammatical role in syllogisms, Twenty-five basic theorems in situation and world theory, A modal reduction for partial logic, A positive information logic for inferential information, The information in intuitionistic logic, General information in relevant logic, A Co-inductive Language and Truth Degrees, Unnamed Item, Issues in commonsense set theory, A semantics for hyperintensional belief revision based on information bases, Why propositions might be sets of truth-supporting circumstances, What is character?, A feature-based syntax/semantics interface, Situated epistemic updates, HYPERSOLVER: A graphical tool for commonsense set theory, Intention is choice with commitment, Avoiding omnidoxasticity in logics of belief: A reply to MacPherson, Worlds, models and descriptions, Are grades of membership probabilities?, Tarski, truth and natural languages, Tarski's definition and truth-makers, Williamson on counterpossibles, Honesty in partial logic, Unification theory, Information completeness in Nelson algebras of rough sets induced by quasiorders, Shifting situations and shaken attitudes, Human rationality challenges universal logic, Causality as a key to the frame problem, Indexical knowledge and robot action -- a logical account, Correlated knowledge: an epistemic-logic view on quantum entanglement, THE SEMANTIC FOUNDATIONS OF PHILOSOPHICAL ANALYSIS, Modified numerals and split disjunction: the first-order case, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), The logic of framing effects, The nature of information: a relevant approach, Construction-based compositional grammar, Representing types as neural events, Dynamic reasoning with qualified syllogisms, On Barwise and Cooper’s “Generalized Quantifiers and Natural Language”, How (not) to construct worlds with responsibility, Hyperintensional semantics: a Fregean approach, Hyperintensional logics for everyone, Relevant epistemic logic with public announcements and common knowledge, A situationalist solution to the Ship of Theseus puzzle, The subject matter fallacy, The collapse of logical pluralism has been greatly exaggerated, Structures and circumstances: two ways to fine-grain propositions, On the ternary relation and conditionality, Logic, formal methodology and semantics in works of Ryszard Wójcicki, Possible worlds in use, A Church-Fitch proof for the universality of causation, On formalisms, Free choice reasons, Logic and reasoning: do the facts matter?, Vagueness, Communication, and the Sorites Paradox, Informational semantics as a third alternative?, The intensional structure of epistemic convictions, Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic, Comparing Contents with Information, A “Reply” to My “Critics”, The logic of indexicals, Legality concepts for three-valued logic programs, Semantic networks, Conceptual graphs as a universal knowledge representation, Situations as Strings, Implicit and explicit stances in logic, Counterfactuals, Natural language and logic of agency, The effort of reasoning: modelling the inference steps of boundedly rational agents, Constructing situations and time, On partial and paraconsistent logics, Dynamical infomorphism: form of endo-perspective, A variant of Thomason's first-order logic CF based on situations, A theory of meaning, Some notes on declarative specification of semantic data integration task in a peer-to-peer agent system, The realist theory of meaning, Order-sorted unification, Situations in LTL as strings, Probabilistic approaches to vagueness and semantic competency, Negation on the Australian plan, Lambek calculus with conjugates, Channels: From Logic to Probability, Modeling Real Reasoning, The slingshot argument and sentential identity, Structured propositions and trivial composition, The many faces of interpolation, From environments to representations -- a mathematical theory of artificial perceptions, Logical space and metaphysical systems, Access Control for Cooperation Systems Based on Group Situation, Vivid: a framework for heterogeneous problem solving, Embodied Context Semantics, Situation Theory Reconsidered, Belief as defeasible knowledge, An information-based theory of conditionals, Property theory: The type-free approach \(v\). The Church approach, Standard quantification theory in the analysis of English