scientific article; zbMATH DE number 5901632

zbMATH Open1244.03077MaRDI QIDQ3001111FDOQ3001111

Johan van Benthem

Publication date: 31 May 2011

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (12)

• Formalizing action and change in modal logic I: the frame problem
• Title not available (Why is that?)
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Modal frame characterization by way of auxiliary modalities
• Quantified modal logics: one approach to rule (almost) them all!
• First-order modal logic: frame definability and a Lindström theorem
• Frame problem in dynamic logic
• From Frame Properties to Hypersequent Rules in Modal Logics
• Quantifier-free epistemic term-modal logic with assignment operator
• On the expressive power of first-order modal logic with two-dimensional operators
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Title not available (Why is that?)

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