Multilanguage hierarchical logics, or: How we can do without modal logics
type: Item
instance of: scholarly article
title: Multilanguage hierarchical logics, or: How we can do without modal logics
zbMATH Open document ID: 0787.68093
DOI: 10.1016/0004-3702(94)90037-X
author: Fausto Giunchiglia
author: Luciano Serafini
published in: Artificial Intelligence
publication date: 1994-02-24T00:00:00Z
Mathematics Subject Classification ID: 68T99
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 500715
zbMATH Keywords: belief representation
zbMATH Keywords: MultiLanguage systems
zbMATH Keywords: logical languages
zbMATH Keywords: hierarchy of first-order languages
zbMATH Keywords: modal logics
zbMATH Keywords: metatheoretic theorem proving
Wikidata QID: Q57302694
describes a project that uses: CLAM
describes a project that uses: GETFOL
MaRDI profile type: Publication
cites work: Q3607747
cites work: Q4342093
cites work: Q3804239
cites work: Belief, awareness, and limited reasoning
cites work: Transfinite recursive progressions of axiomatic theories
cites work: Q4817212
cites work: Q4012173
cites work: Q3624009
cites work: Q3811754
cites work: Generality in artificial intelligence
cites work: Q5633670
cites work: Q5726696
cites work: Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
cites work: Q5559220
cites work: Self-reference and modal logic
cites work: A note on syntactical treatments of modality
cites work: Prolegomena to a theory of mechanized formal reasoning
cites work: Q3949990
full work available at URL: 0004-3702(94)90037-x
OpenAlex ID: W2057858426
description: scientific article; zbMATH DE number 500715