Expressive completeness through logically tractable models
type: Item
instance of: scholarly article
title: Expressive completeness through logically tractable models
zbMATH Open document ID: 1320.03067
author: Martin Otto
published in: Annals of Pure and Applied Logic
publication date: 2015-08-27T00:00:00Z
Mathematics Subject Classification ID: 03C13
Mathematics Subject Classification ID: 03C30
Mathematics Subject Classification ID: 03C40
Mathematics Subject Classification ID: 03C50
zbMATH DE Number: 6476488
zbMATH Keywords: model theory
zbMATH Keywords: finite model theory
zbMATH Keywords: preservation
zbMATH Keywords: expressive completeness
zbMATH Keywords: modal logic
zbMATH Keywords: guarded logic
MaRDI profile type: Publication
full work available at URL: j.apal.2013.06.017
OpenAlex ID: W2035778661
DOI: 10.1016/J.APAL.2013.06.017
description: scientific article; zbMATH DE number 6476488