FRINK Linked Data Fragments server

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

• W28762283 endingPage "65" @default.
• W28762283 startingPage "56" @default.
• W28762283 abstract "We give an axiomization of a modal quantificational logic which captures the notion of logical truth. This modal logic is stronger than S5. Next we describe a sequent calculus for this modal logic, and show that it is complete. Finally we describe some potential applications of Modal Logic to Artificial Intelligence." @default.
• W28762283 created "2016-06-24" @default.
• W28762283 creator A5055504446 @default.
• W28762283 date "1978-07-18" @default.
• W28762283 modified "2023-09-26" @default.
• W28762283 title "A sequent cadculus for modal quantificational logic" @default.
• W28762283 cites W102722814 @default.
• W28762283 cites W122764051 @default.
• W28762283 cites W149710526 @default.
• W28762283 cites W2045833670 @default.
• W28762283 cites W2081764129 @default.
• W28762283 cites W92200963 @default.
• W28762283 hasPublicationYear "1978" @default.
• W28762283 type Work @default.
• W28762283 sameAs 28762283 @default.
• W28762283 citedByCount "4" @default.
• W28762283 crossrefType "journal-article" @default.
• W28762283 hasAuthorship W28762283A5055504446 @default.
• W28762283 hasConcept C102993220 @default.
• W28762283 hasConcept C108710211 @default.
• W28762283 hasConcept C111404639 @default.
• W28762283 hasConcept C11191006 @default.
• W28762283 hasConcept C114092440 @default.
• W28762283 hasConcept C11413529 @default.
• W28762283 hasConcept C118615104 @default.
• W28762283 hasConcept C119599485 @default.
• W28762283 hasConcept C127413603 @default.
• W28762283 hasConcept C154945302 @default.
• W28762283 hasConcept C165801399 @default.
• W28762283 hasConcept C172385210 @default.
• W28762283 hasConcept C173125200 @default.
• W28762283 hasConcept C185592680 @default.
• W28762283 hasConcept C188027245 @default.
• W28762283 hasConcept C199343813 @default.
• W28762283 hasConcept C203659156 @default.
• W28762283 hasConcept C2524010 @default.
• W28762283 hasConcept C27508121 @default.
• W28762283 hasConcept C2777686260 @default.
• W28762283 hasConcept C2777796570 @default.
• W28762283 hasConcept C33923547 @default.
• W28762283 hasConcept C41008148 @default.
• W28762283 hasConcept C62073222 @default.
• W28762283 hasConcept C6489637 @default.
• W28762283 hasConcept C65880906 @default.
• W28762283 hasConcept C71139939 @default.
• W28762283 hasConcept C71924100 @default.
• W28762283 hasConcept C89421646 @default.
• W28762283 hasConceptScore W28762283C102993220 @default.
• W28762283 hasConceptScore W28762283C108710211 @default.
• W28762283 hasConceptScore W28762283C111404639 @default.
• W28762283 hasConceptScore W28762283C11191006 @default.
• W28762283 hasConceptScore W28762283C114092440 @default.
• W28762283 hasConceptScore W28762283C11413529 @default.
• W28762283 hasConceptScore W28762283C118615104 @default.
• W28762283 hasConceptScore W28762283C119599485 @default.
• W28762283 hasConceptScore W28762283C127413603 @default.
• W28762283 hasConceptScore W28762283C154945302 @default.
• W28762283 hasConceptScore W28762283C165801399 @default.
• W28762283 hasConceptScore W28762283C172385210 @default.
• W28762283 hasConceptScore W28762283C173125200 @default.
• W28762283 hasConceptScore W28762283C185592680 @default.
• W28762283 hasConceptScore W28762283C188027245 @default.
• W28762283 hasConceptScore W28762283C199343813 @default.
• W28762283 hasConceptScore W28762283C203659156 @default.
• W28762283 hasConceptScore W28762283C2524010 @default.
• W28762283 hasConceptScore W28762283C27508121 @default.
• W28762283 hasConceptScore W28762283C2777686260 @default.
• W28762283 hasConceptScore W28762283C2777796570 @default.
• W28762283 hasConceptScore W28762283C33923547 @default.
• W28762283 hasConceptScore W28762283C41008148 @default.
• W28762283 hasConceptScore W28762283C62073222 @default.
• W28762283 hasConceptScore W28762283C6489637 @default.
• W28762283 hasConceptScore W28762283C65880906 @default.
• W28762283 hasConceptScore W28762283C71139939 @default.
• W28762283 hasConceptScore W28762283C71924100 @default.
• W28762283 hasConceptScore W28762283C89421646 @default.
• W28762283 hasLocation W287622831 @default.
• W28762283 hasOpenAccess W28762283 @default.
• W28762283 hasPrimaryLocation W287622831 @default.
• W28762283 hasRelatedWork W1492208416 @default.
• W28762283 hasRelatedWork W1965742490 @default.
• W28762283 hasRelatedWork W1990883597 @default.
• W28762283 hasRelatedWork W1994532891 @default.
• W28762283 hasRelatedWork W1995718667 @default.
• W28762283 hasRelatedWork W2045549616 @default.
• W28762283 hasRelatedWork W2056818739 @default.
• W28762283 hasRelatedWork W2058636048 @default.
• W28762283 hasRelatedWork W2064387576 @default.
• W28762283 hasRelatedWork W2117835350 @default.
• W28762283 hasRelatedWork W2127129973 @default.
• W28762283 hasRelatedWork W2133505614 @default.
• W28762283 hasRelatedWork W2142018979 @default.
• W28762283 hasRelatedWork W2155079552 @default.
• W28762283 hasRelatedWork W2162253430 @default.
• W28762283 hasRelatedWork W2269575421 @default.
• W28762283 hasRelatedWork W2286252794 @default.
• W28762283 hasRelatedWork W2808397658 @default.
• W28762283 hasRelatedWork W2969278118 @default.

• next