scientific article; zbMATH DE number 4135922

MaRDI QIDQ3469091zbMATH OpenFDO

Authors Johan van Benthem

Publication date 1989

zbMATH Keywords

abstract data typescategorial grammarcircumscriptioncommonsense reasoningDynamics in the semantics of natural languageLewis's conditional logiclogic programmingmaximsminimal modelsnonmonotonic logicoperational semanticsphilosophy of languagepropositional dynamic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• An overview of nonmonotonic reasoning and logic programming
• Nonmonotonic reasoning, preferential models and cumulative logics
• scientific article; zbMATH DE number 1218288
• A theory of nonmonotonic rule systems. II
• scientific article; zbMATH DE number 4110671

Cited in

(33)

• Language in action
• Algebraization of quantifier logics, an introductory overview
• Five faces of minimality
• Sequence semantics for dynamic predicate logic
• On the completeness of the Lambek calculus with respect to relativized relational semantics
• Constructive agents
• Exhaustive interpretation of complex sentences
• Minimal temporal epistemic logic
• Merging without mystery or: Variables in dynamics semantics
• Implicit and explicit stances in logic
• Revocable belief revision
• Reasoning about general preference relations
• Natural language semantics and computability
• Comments to `Logics of public communications'
• An update on epistemic modals
• Logics of rational interaction
• scientific article; zbMATH DE number 1101590 (Why is no real title available?)
• scientific article; zbMATH DE number 1790347 (Why is no real title available?)
• Contraction, Revision, Expansion: Representing Belief Change Operations
• On revocable and irrevocable belief revision
• Two logical faces of belief revision
• Only persistence makes nonmonotonicity monotonous (extended abstract)
• AGM 25 years. Twenty-five years of research in belief change
• What will they say? -- Public announcement games
• McCarthy variations in a modal key
• scientific article; zbMATH DE number 2230607 (Why is no real title available?)
• scientific article; zbMATH DE number 7594240 (Why is no real title available?)
• To be announced
• Analyzing natural languages: antimems, contradictions, and onthologies
• Tense logics over lattices
• An epistemic separation logic with action models
• Relational patterns, partiality, and set lifting in modal semantics
• Modal logics over lattices

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3469091)