scientific article; zbMATH DE number 589737

MaRDI QIDQ4295869zbMATH OpenFDO

Authors Johan van Benthem

Publication date 15 June 1994

zbMATH Keywords

dynamic logicepistemic logicinformation-oriented logicsintuitionistic logicKripke semanticslabelled deductive systemsmodal logicmodalities of knowledgesurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2212572
• A dynamic informational-epistemic logic
• scientific article; zbMATH DE number 1999226
• scientific article; zbMATH DE number 10093
• scientific article; zbMATH DE number 824735

Cited in

(46)

• Implicit epistemic aspects of constructive logic
• Constructive agents
• A dynamic informational-epistemic logic
• Skepticism and epistemic logic
• Papers on epistemology
• The many faces of closure and introspection. An ineractive perspective
• Duhem's problem revisited: logical versus epistemic formulations and solutions
• William of Heytesbury and Peter of Mantua on demonstrative pronouns in epistemic contexts
• Justification logic with confidence
• Epistemic semantics for classical and intuitionistic logic
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Epistemic logic with partial dependency operator
• Crowd behavior dynamics: entropic path-integral model
• A logic for epistemic two-dimensional semantics
• Justified common knowledge
• A logic of knowing why
• Epistemology, knowledge and the impact of interaction
• Game semantics and the manifestation thesis
• Revisiting Epistemic Specifications
• Contextual epistemic logic
• Hintikka's knowledge and belief in flux
• Talking about knowledge
• Indicative conditionals and dynamic epistemic logic
• scientific article; zbMATH DE number 1180147 (Why is no real title available?)
• scientific article; zbMATH DE number 1999226 (Why is no real title available?)
• Unification in epistemic logics
• scientific article; zbMATH DE number 6954655 (Why is no real title available?)
• scientific article; zbMATH DE number 2101970 (Why is no real title available?)
• scientific article; zbMATH DE number 824735 (Why is no real title available?)
• scientific article; zbMATH DE number 883255 (Why is no real title available?)
• scientific article; zbMATH DE number 7385372 (Why is no real title available?)
• scientific article; zbMATH DE number 7599927 (Why is no real title available?)
• Relating semantics for epistemic logic
• A Logic of Knowledge and Belief Based on Abstract Arguments
• Outline of a logic of knowledge of acquaintance
• Structures for epistemic logic
• Epistemic reasoning in life and literature
• Constructive modalities with provability smack
• Communicating contexts: A pragmatic approach to information exchange
• Epistemic Syllogistic: First Steps
• Altenatives to Kripke semantics for epistemic logic
• An intensional epistemic logic
• Toward a dynamic logic of questions
• Some modifications of Carnap's modal logic
• The information in intuitionistic logic
• An epistemic logic for becoming informed

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 Q4295869)