First Order Theories for Partial Models期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

First Order Theories for Partial Models

Authors:	Bo?ena?Staruch author-information" > author-information__contact u-icon-before" > mailto:bstar@uwm.edu.pl" title=" bstar@uwm.edu.pl" itemprop=" email" data-track=" click" data-track-action=" Email author" data-track-label=" " >Email author,Bogdan?Staruch

Affiliation:	(1) Faculty of Mathematics and Informatics, University of Warmia and Mazury, Żolnierska 14c, 10-561 Olsztyn, Poland

Abstract:

Keywords:	partial algebra partial model extension possible sets of sentences infallible sets of sentences standard models Scott’ s domain default logic
本文献已被 SpringerLink 等数据库收录！