Modified neighborhood semantics for Kaminski logic (Q1406363)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Modified neighborhood semantics for Kaminski logic |
scientific article; zbMATH DE number 1974814
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modified neighborhood semantics for Kaminski logic |
scientific article; zbMATH DE number 1974814 |
Statements
Modified neighborhood semantics for Kaminski logic (English)
0 references
4 September 2003
0 references
The author considers Kaminski logic (Kam), a calculus obtained from Int (the intuitionistic logic of expressions) supplemented by four axioms: (1) \( p\to \varphi(p)\), (2) \( \varphi(p)\to \neg \neg p\), (3) \( \varphi(p\to q)\to (\varphi(p)\to \varphi(q))\), (4) \( \varphi\varphi(p)\to \varphi(p)\) [see \textit{D. M. Gabbay}, Stud. Log. 36, 127-139 (1977; Zbl 0363.02026)]. The author proves the finite approximability of Kam.
0 references
Kaminski logic
0 references
neighborhood semantics
0 references
modalized tense operator
0 references
intuitionistic logic of expressions
0 references
finite approximability
0 references
0.7083315849304199
0 references
0.6993197798728943
0 references
0.6836892366409302
0 references
