Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287393491> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4287393491 abstract "In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible world semantics. This kind of modal systems characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70's. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of quantified modal logics, relative to the identity predicate, Barcan's formulas, and de dicto and de re modalities, can be tackled from a new angle within the present framework." @default.
- W4287393491 created "2022-07-25" @default.
- W4287393491 creator A5001235333 @default.
- W4287393491 creator A5037312962 @default.
- W4287393491 creator A5090347319 @default.
- W4287393491 date "2021-01-06" @default.
- W4287393491 modified "2023-10-16" @default.
- W4287393491 title "Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case" @default.
- W4287393491 doi "https://doi.org/10.48550/arxiv.2101.02259" @default.
- W4287393491 hasPublicationYear "2021" @default.
- W4287393491 type Work @default.
- W4287393491 citedByCount "0" @default.
- W4287393491 crossrefType "posted-content" @default.
- W4287393491 hasAuthorship W4287393491A5001235333 @default.
- W4287393491 hasAuthorship W4287393491A5037312962 @default.
- W4287393491 hasAuthorship W4287393491A5090347319 @default.
- W4287393491 hasBestOaLocation W42873934911 @default.
- W4287393491 hasConcept C107247716 @default.
- W4287393491 hasConcept C111472728 @default.
- W4287393491 hasConcept C11191006 @default.
- W4287393491 hasConcept C114092440 @default.
- W4287393491 hasConcept C11413529 @default.
- W4287393491 hasConcept C136119220 @default.
- W4287393491 hasConcept C136172866 @default.
- W4287393491 hasConcept C138885662 @default.
- W4287393491 hasConcept C140146324 @default.
- W4287393491 hasConcept C160131679 @default.
- W4287393491 hasConcept C184337299 @default.
- W4287393491 hasConcept C185592680 @default.
- W4287393491 hasConcept C188027245 @default.
- W4287393491 hasConcept C192609573 @default.
- W4287393491 hasConcept C199360897 @default.
- W4287393491 hasConcept C202444582 @default.
- W4287393491 hasConcept C27508121 @default.
- W4287393491 hasConcept C33923547 @default.
- W4287393491 hasConcept C41008148 @default.
- W4287393491 hasConcept C71139939 @default.
- W4287393491 hasConceptScore W4287393491C107247716 @default.
- W4287393491 hasConceptScore W4287393491C111472728 @default.
- W4287393491 hasConceptScore W4287393491C11191006 @default.
- W4287393491 hasConceptScore W4287393491C114092440 @default.
- W4287393491 hasConceptScore W4287393491C11413529 @default.
- W4287393491 hasConceptScore W4287393491C136119220 @default.
- W4287393491 hasConceptScore W4287393491C136172866 @default.
- W4287393491 hasConceptScore W4287393491C138885662 @default.
- W4287393491 hasConceptScore W4287393491C140146324 @default.
- W4287393491 hasConceptScore W4287393491C160131679 @default.
- W4287393491 hasConceptScore W4287393491C184337299 @default.
- W4287393491 hasConceptScore W4287393491C185592680 @default.
- W4287393491 hasConceptScore W4287393491C188027245 @default.
- W4287393491 hasConceptScore W4287393491C192609573 @default.
- W4287393491 hasConceptScore W4287393491C199360897 @default.
- W4287393491 hasConceptScore W4287393491C202444582 @default.
- W4287393491 hasConceptScore W4287393491C27508121 @default.
- W4287393491 hasConceptScore W4287393491C33923547 @default.
- W4287393491 hasConceptScore W4287393491C41008148 @default.
- W4287393491 hasConceptScore W4287393491C71139939 @default.
- W4287393491 hasLocation W42873934911 @default.
- W4287393491 hasOpenAccess W4287393491 @default.
- W4287393491 hasPrimaryLocation W42873934911 @default.
- W4287393491 hasRelatedWork W2016666428 @default.
- W4287393491 hasRelatedWork W2028144918 @default.
- W4287393491 hasRelatedWork W2069376434 @default.
- W4287393491 hasRelatedWork W2101793126 @default.
- W4287393491 hasRelatedWork W2152348170 @default.
- W4287393491 hasRelatedWork W2188462059 @default.
- W4287393491 hasRelatedWork W2299748756 @default.
- W4287393491 hasRelatedWork W2982223082 @default.
- W4287393491 hasRelatedWork W3119769598 @default.
- W4287393491 hasRelatedWork W4287393491 @default.
- W4287393491 isParatext "false" @default.
- W4287393491 isRetracted "false" @default.
- W4287393491 workType "article" @default.