Finite non-deterministic semantics for some modal systems (Q4586135): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1080/11663081.2015.1011543 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2026580636 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3520843 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4539639 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4329287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3007252 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics of Formal Inconsistency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dugundji's theorem revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3680806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5752543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4303543 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quasi-matrix logic as a paraconsistent logic for dubitable information / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modal semantics without possible worlds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Deontic Logic in Computer Science / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5546768 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Possible-translations semantics for some weak classically-based paraconsistent logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3791124 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:58, 16 July 2024
scientific article; zbMATH DE number 6935510
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite non-deterministic semantics for some modal systems |
scientific article; zbMATH DE number 6935510 |
Statements
Finite non-deterministic semantics for some modal systems (English)
0 references
12 September 2018
0 references
modal logic
0 references
non-deterministic matrices
0 references
decidability
0 references