Default theories over monadic languages

DOI10.1016/J.TCS.2006.08.007MaRDI QIDQ860840zbMATH OpenOpenAlexFDO

Authors Michael Kaminski, Julia Rubin-Mosin

Publication date 9 January 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.08.007

zbMATH Keywords

default logicHerband interpretationsmonadic languagesopen defaults

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Recommendations

• Extensions for open default theories via the domain closure assumption
• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains
• scientific article; zbMATH DE number 1341462
• Logical considerations on default semantics

Cites work

• scientific article; zbMATH DE number 410424 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 478394 (Why is no real title available?)
• A comparative study of open default theories
• A logic for default reasoning
• A logical framework for default reasoning
• A note on the stable model semantics for logic programs
• Extensions for open default theories via the domain closure assumption
• Model theory.
• Open default theories over closed domains
• Similarity preservation in default logic

Cited in

(2)

• Open default theories over closed domains
• A comparative study of open default theories

This page was built for publication: Default theories over monadic languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q860840)