scientific article
From MaRDI portal
Publication:3365265
zbMath0933.00011MaRDI QIDQ3365265
No author found.
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (7)
Murphree's numerical term logic tableaux ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ Deontic Paradoxes and Tableau System for Kalinowski’s Deontic Logic K1 ⋮ Temporal alethic-deontic logic and semantic tableaux ⋮ On theorem prover-based testing ⋮ Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox ⋮ LotrecScheme
This page was built for publication:
