scientific article; zbMATH DE number 4219104

MaRDI QIDQ3365265zbMATH OpenFDO

Authors

Publication date 1999

zbMATH Keywords

HandbookTableau methods

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(10)

• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox
• Temporal alethic-deontic logic and semantic tableaux
• In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
• Murphree's numerical term logic tableaux
• Deontic paradoxes and tableau system for Kalinowski's deontic logic \(K1\)
• Automated Reasoning with Analytic Tableaux and Related Methods
• On theorem prover-based testing
• LotrecScheme
• \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics
• Non-classical logics in satisfiability modulo theories

This page was built for publication:

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