Boolean and modal connectives as primitives in non-deterministic semantics
From MaRDI portal
Cites work
- 8 valued non-deterministic semantics for modal logics
- and in eight-valued non-deterministic semantics for modal logics
- A non-deterministic view on non-classical negations
- A note on Ciuciura's \(\mathbf{mbC}^1\)
- A semantics for a failed axiomatization of \textsf{K}
- Analytic tableaux for non-deterministic semantics
- Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
- Dugundji's theorem revisited
- Effective semantics for the modal logics K and KT via non-deterministic matrices
- Errata and addenda to: ``Finite non-deterministic semantics for some modal systems
- Finite non-deterministic semantics for some modal systems
- scientific article; zbMATH DE number 5872190 (Why is no real title available?)
- scientific article; zbMATH DE number 5997431 (Why is no real title available?)
- scientific article; zbMATH DE number 4055579 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 625207 (Why is no real title available?)
- scientific article; zbMATH DE number 1765698 (Why is no real title available?)
- scientific article; zbMATH DE number 2196614 (Why is no real title available?)
- scientific article; zbMATH DE number 4187771 (Why is no real title available?)
- scientific article; zbMATH DE number 3082563 (Why is no real title available?)
- scientific article; zbMATH DE number 7713503 (Why is no real title available?)
- Intuitionist logic, a logic of justification
- Les rapports de la logique polyvalente avec le calcul des probabilités.
- Logic of informal provability with truth values
- Logics of formal inconsistency
- Many-valued logic of informal provability: a non-deterministic strategy
- Modal logic with non-deterministic semantics. I: Propositional case
- Modal logics -- RNmatrices vs. Nmatrices
- Modal semantics without possible worlds
- Modular non-deterministic semantics for T, TB, S4, S5 and more
- Multi-valued semantics: why and how
- Non-deterministic logic of informal provability has no finite characterization
- Non-deterministic semantics for logics with a consistency operator
- Note on a property of matrices for Lewis and Langford's calculi of propositions
- On axiomatization of Łukasiewicz's four-valued modal logic
- On Ivlev's semantics for modality
- On non-deterministic quantification
- On Łukasiewicz's four-valued modal logic
- Proof systems for BAT consequence relations
- Proof systems for reasoning about computation errors
- Quasi-matrix logic as a paraconsistent logic for dubitable information
- Quasi-truth-functional systems of propositional logic
- RNmatrices for modal logics
- Rough sets and 3-valued logics
- Swap structures semantics for Ivlev-like modal logics
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Theory of effective propositional paraconsistent logics
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations
- Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics
- Wahrscheinlichkeitslehre.
- Wahrscheinlichkeitslogik als Form wissenschaftlichen Denkens.
This page was built for publication: Boolean and modal connectives as primitives in non-deterministic semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7304904)
