Decidability issues for two-variable logics with several linear orders
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03014
author: Emanuel Kieroński
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 777e.html
Mathematics Subject Classification ID: 03B25
zbMATH DE Number: 6083549
zbMATH Keywords: two-variable logic
zbMATH Keywords: linear orders
zbMATH Keywords: guarded fragment
zbMATH Keywords: decidability
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2293300167
DOI: 10.4230/LIPICS.CSL.2011.337
title: Decidability issues for two-variable logics with several linear orders
description: scientific article; zbMATH DE number 6083549