FOIL axiomatized
type: Item
instance of: scholarly article
title: FOIL axiomatized
zbMATH Open document ID: 1114.03014
author: Melvin Fitting
published in: Studia Logica
publication date: 2007-02-13T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 5125420
zbMATH Keywords: intensional logic
zbMATH Keywords: modal logic
zbMATH Keywords: tableaux
zbMATH Keywords: predicate abstraction
zbMATH Keywords: axiomatization
MaRDI profile type: Publication
full work available at URL: s11225-006-9000-2
OpenAlex ID: W3191320734
cites work: Q4817193
cites work: Modal Logics Between Propositional and First-order
cites work: Q4463930
cites work: First-order intensional logic
cites work: Q4108293
cites work: Q4342097
cites work: Q3026978
cites work: Q5711930
cites work: Pragmatics and intensional logic
cites work: Q5680089
DOI: 10.1007/S11225-006-9000-2
Recommended article: An axiomatic version of Fitch's paradox
Recommended article: Axiomatizing schemes and their behaviors
Recommended article: Axiomatization of Induced Theories
Recommended article: Q4304462
Recommended article: Finitely axiomatizable theories
Recommended article: Q3813801
Recommended article: Independence of the axiomatization of fork
Recommended article: Q5298124
Recommended article: Axiomatizing core extensions
Recommended article: Axiomatizing fixpoint logics
description: scientific article; zbMATH DE number 5125420