scientific article; zbMATH DE number 4219104
From MaRDI portal
Publication:3365265
zbMATH Open0933.00011MaRDI QIDQ3365265FDOQ3365265
Authors:
Publication date: 1999
Title of this publication is not available (Why is that?)
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
- In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals
- Temporal alethic-deontic logic and semantic tableaux
- Deontic paradoxes and tableau system for Kalinowski's deontic logic \(K1\)
- Murphree's numerical term logic tableaux
- 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)
