Default theories over monadic languages

DOI10.1016/J.TCS.2006.08.007zbMATH Open1153.68051OpenAlexW2019146198MaRDI QIDQ860840FDOQ860840

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

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

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)

Cites Work

• Title not available (Why is that?)
• Model theory.
• A logic for default reasoning
• A logical framework for default reasoning
• Title not available (Why is that?)
• A note on the stable model semantics for logic programs
• Similarity preservation in default logic
• A comparative study of open default theories
• Title not available (Why is that?)
• Extensions for open default theories via the domain closure assumption
• Open default theories over closed domains

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)