Modal logic and model theory

DOI10.1007/BF02429839zbMath0599.03010OpenAlexW1997634582MaRDI QIDQ1080411

Virginia Vaccaro, Giangiacomo Gerla

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02429839

zbMATH Keywords

possibilitycompletenesscompactnesssemanticsinfinitely genericclassical model theoryexistential completenessfirst order modal logicQS4Erigidity axiom

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other classical first-order model theory (03C68)

Related Items (1)

The Invariance Modality

Cites Work

• First-order modal theories. III: Facts
• Forcing, arithmetic, division rings
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Model theory for modal logic. Kripke models for modal predicate calculi
• First-Order Modal Theories I--Sets
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: Modal logic and model theory