scientific article; zbMATH DE number 2236678
From MaRDI portal
Publication:5711930
zbMath1090.03005MaRDI QIDQ5711930
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
FOIL axiomatized ⋮ First-order intensional logic ⋮ Distributed first order logic ⋮ Counterpart theories for everyone ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic
This page was built for publication:
