scientific article; zbMATH DE number 589737

zbMath0814.03002MaRDI QIDQ4295869

J. F. A. K. van Benthem

Publication date: 15 June 1994

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

zbMATH Keywords

surveymodal logicdynamic logicKripke semanticsintuitionistic logicepistemic logiclabelled deductive systemsinformation-oriented logicsmodalities of knowledge

Mathematics Subject Classification ID

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

Related Items (11)

The information in intuitionistic logic ⋮ Crowd behavior dynamics: entropic path-integral model ⋮ Game Semantics and the Manifestation Thesis ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Constructive agents ⋮ Communicating contexts: A pragmatic approach to information exchange ⋮ Justification logic with confidence ⋮ A logic of knowing why ⋮ Toward a dynamic logic of questions ⋮ Justified common knowledge ⋮ Constructive Modalities with Provability Smack

This page was built for publication: