FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028942690> ?p ?o ?g. }

• W2028942690 endingPage "39" @default.
• W2028942690 startingPage "1" @default.
• W2028942690 abstract "Abstract In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as ‘at some branch, or history (passing through the moment at hand)’. Both the bundled-trees semantics [Burgess 79] and the 〈moment, history〉 semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames." @default.
• W2028942690 created "2016-06-24" @default.
• W2028942690 creator A5031039197 @default.
• W2028942690 date "1996-03-01" @default.
• W2028942690 modified "2023-10-02" @default.
• W2028942690 title "Branching-time logic with quantification over branches: The point of view of modal logic" @default.
• W2028942690 cites W1488267121 @default.
• W2028942690 cites W1590315663 @default.
• W2028942690 cites W1603602114 @default.
• W2028942690 cites W1857479399 @default.
• W2028942690 cites W1979405912 @default.
• W2028942690 cites W1986076408 @default.
• W2028942690 cites W2008960163 @default.
• W2028942690 cites W2015217647 @default.
• W2028942690 cites W2035586780 @default.
• W2028942690 cites W2043855341 @default.
• W2028942690 cites W2047179354 @default.
• W2028942690 cites W2057934303 @default.
• W2028942690 cites W2062458205 @default.
• W2028942690 cites W2073945756 @default.
• W2028942690 cites W2077311658 @default.
• W2028942690 cites W2093270475 @default.
• W2028942690 cites W2171547847 @default.
• W2028942690 cites W4213219346 @default.
• W2028942690 cites W4235944370 @default.
• W2028942690 cites W4239399053 @default.
• W2028942690 cites W4255686678 @default.
• W2028942690 doi "https://doi.org/10.2307/2275595" @default.
• W2028942690 hasPublicationYear "1996" @default.
• W2028942690 type Work @default.
• W2028942690 sameAs 2028942690 @default.
• W2028942690 citedByCount "71" @default.
• W2028942690 countsByYear W20289426902012 @default.
• W2028942690 countsByYear W20289426902013 @default.
• W2028942690 countsByYear W20289426902014 @default.
• W2028942690 countsByYear W20289426902015 @default.
• W2028942690 countsByYear W20289426902016 @default.
• W2028942690 countsByYear W20289426902017 @default.
• W2028942690 countsByYear W20289426902018 @default.
• W2028942690 countsByYear W20289426902020 @default.
• W2028942690 countsByYear W20289426902021 @default.
• W2028942690 countsByYear W20289426902023 @default.
• W2028942690 crossrefType "journal-article" @default.
• W2028942690 hasAuthorship W2028942690A5031039197 @default.
• W2028942690 hasConcept C102993220 @default.
• W2028942690 hasConcept C104317684 @default.
• W2028942690 hasConcept C107247716 @default.
• W2028942690 hasConcept C11191006 @default.
• W2028942690 hasConcept C114092440 @default.
• W2028942690 hasConcept C11413529 @default.
• W2028942690 hasConcept C121332964 @default.
• W2028942690 hasConcept C158448853 @default.
• W2028942690 hasConcept C159985019 @default.
• W2028942690 hasConcept C160131679 @default.
• W2028942690 hasConcept C161913894 @default.
• W2028942690 hasConcept C17020691 @default.
• W2028942690 hasConcept C173125200 @default.
• W2028942690 hasConcept C179254644 @default.
• W2028942690 hasConcept C184337299 @default.
• W2028942690 hasConcept C185592680 @default.
• W2028942690 hasConcept C188027245 @default.
• W2028942690 hasConcept C192562407 @default.
• W2028942690 hasConcept C192609573 @default.
• W2028942690 hasConcept C199343813 @default.
• W2028942690 hasConcept C199360897 @default.
• W2028942690 hasConcept C203659156 @default.
• W2028942690 hasConcept C206175624 @default.
• W2028942690 hasConcept C25016198 @default.
• W2028942690 hasConcept C27508121 @default.
• W2028942690 hasConcept C2777686260 @default.
• W2028942690 hasConcept C33923547 @default.
• W2028942690 hasConcept C41008148 @default.
• W2028942690 hasConcept C55493867 @default.
• W2028942690 hasConcept C71139939 @default.
• W2028942690 hasConcept C71924100 @default.
• W2028942690 hasConcept C74650414 @default.
• W2028942690 hasConcept C78344899 @default.
• W2028942690 hasConcept C80444323 @default.
• W2028942690 hasConcept C86339819 @default.
• W2028942690 hasConceptScore W2028942690C102993220 @default.
• W2028942690 hasConceptScore W2028942690C104317684 @default.
• W2028942690 hasConceptScore W2028942690C107247716 @default.
• W2028942690 hasConceptScore W2028942690C11191006 @default.
• W2028942690 hasConceptScore W2028942690C114092440 @default.
• W2028942690 hasConceptScore W2028942690C11413529 @default.
• W2028942690 hasConceptScore W2028942690C121332964 @default.
• W2028942690 hasConceptScore W2028942690C158448853 @default.
• W2028942690 hasConceptScore W2028942690C159985019 @default.
• W2028942690 hasConceptScore W2028942690C160131679 @default.
• W2028942690 hasConceptScore W2028942690C161913894 @default.
• W2028942690 hasConceptScore W2028942690C17020691 @default.
• W2028942690 hasConceptScore W2028942690C173125200 @default.
• W2028942690 hasConceptScore W2028942690C179254644 @default.
• W2028942690 hasConceptScore W2028942690C184337299 @default.
• W2028942690 hasConceptScore W2028942690C185592680 @default.
• W2028942690 hasConceptScore W2028942690C188027245 @default.
• W2028942690 hasConceptScore W2028942690C192562407 @default.
• W2028942690 hasConceptScore W2028942690C192609573 @default.

• next