Advertisement

Model Extensions

  • Kenneth A. Bowen
Chapter
  • 115 Downloads
Part of the Synthese Library book series (SYLI, volume 127)

Abstract

Let 𝕬 and 𝔅 be modal structures for ML and let m: 𝕬 → 𝔅. If m is a Γ-morphism we say that 𝔅 is a Γ-extension of 𝕬 via m. A set Γ of formulas of ML is said to be regular if it includes all formulas of the forms x = y and Ax1xn[y1…yn] whenever it comtains A. A formula A of ML is said to be a * *-formula if it is obtained from a formula of the form θ h * (cf. Definition 6.8), where h was a basic formula bundle over 𝕬, by replacing all names of elements of |𝒜 0| by free variables (so that ∧h 2(O) becomes a conjunction of basic formulas of ML).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1979

Authors and Affiliations

  • Kenneth A. Bowen
    • 1
  1. 1.Syracuse UniversityUSA

Personalised recommendations