Matches in SemOpenAlex for { <https://semopenalex.org/work/W4205175461> ?p ?o ?g. }
- W4205175461 endingPage "360" @default.
- W4205175461 startingPage "189" @default.
- W4205175461 created "2022-01-26" @default.
- W4205175461 creator A5000566596 @default.
- W4205175461 creator A5075172069 @default.
- W4205175461 date "2005-12-13" @default.
- W4205175461 modified "2023-09-27" @default.
- W4205175461 title "Provability Logic" @default.
- W4205175461 cites W1008748165 @default.
- W4205175461 cites W142547013 @default.
- W4205175461 cites W142552190 @default.
- W4205175461 cites W1445313940 @default.
- W4205175461 cites W1485672136 @default.
- W4205175461 cites W149507330 @default.
- W4205175461 cites W1503684994 @default.
- W4205175461 cites W1519854400 @default.
- W4205175461 cites W1549787333 @default.
- W4205175461 cites W1571003765 @default.
- W4205175461 cites W1572035002 @default.
- W4205175461 cites W1572451808 @default.
- W4205175461 cites W1588094391 @default.
- W4205175461 cites W1594785505 @default.
- W4205175461 cites W1608607427 @default.
- W4205175461 cites W1617228155 @default.
- W4205175461 cites W1733731286 @default.
- W4205175461 cites W1762190779 @default.
- W4205175461 cites W1763969474 @default.
- W4205175461 cites W1822309835 @default.
- W4205175461 cites W1967370452 @default.
- W4205175461 cites W1967494737 @default.
- W4205175461 cites W1972536043 @default.
- W4205175461 cites W1974102216 @default.
- W4205175461 cites W1975127350 @default.
- W4205175461 cites W1977302154 @default.
- W4205175461 cites W1977396974 @default.
- W4205175461 cites W1981294086 @default.
- W4205175461 cites W1982359081 @default.
- W4205175461 cites W1982611286 @default.
- W4205175461 cites W1984643361 @default.
- W4205175461 cites W1985542534 @default.
- W4205175461 cites W1987969414 @default.
- W4205175461 cites W1989833938 @default.
- W4205175461 cites W1989844562 @default.
- W4205175461 cites W1993283072 @default.
- W4205175461 cites W1994332324 @default.
- W4205175461 cites W1995457698 @default.
- W4205175461 cites W1996093895 @default.
- W4205175461 cites W1996906710 @default.
- W4205175461 cites W1998920759 @default.
- W4205175461 cites W2004550536 @default.
- W4205175461 cites W2005337919 @default.
- W4205175461 cites W2007096790 @default.
- W4205175461 cites W2009558863 @default.
- W4205175461 cites W2009862785 @default.
- W4205175461 cites W2011612028 @default.
- W4205175461 cites W2012017461 @default.
- W4205175461 cites W2012424011 @default.
- W4205175461 cites W2012650638 @default.
- W4205175461 cites W2015175446 @default.
- W4205175461 cites W2015191731 @default.
- W4205175461 cites W2015690845 @default.
- W4205175461 cites W2016617619 @default.
- W4205175461 cites W2016916627 @default.
- W4205175461 cites W2017621431 @default.
- W4205175461 cites W2020111721 @default.
- W4205175461 cites W2021745396 @default.
- W4205175461 cites W2022073203 @default.
- W4205175461 cites W2023712626 @default.
- W4205175461 cites W2028227692 @default.
- W4205175461 cites W2033008594 @default.
- W4205175461 cites W2034070758 @default.
- W4205175461 cites W2035120169 @default.
- W4205175461 cites W2035851396 @default.
- W4205175461 cites W2036161385 @default.
- W4205175461 cites W2037176489 @default.
- W4205175461 cites W2037524393 @default.
- W4205175461 cites W2040404640 @default.
- W4205175461 cites W2041010580 @default.
- W4205175461 cites W2043468053 @default.
- W4205175461 cites W2043566933 @default.
- W4205175461 cites W2045237008 @default.
- W4205175461 cites W2046526482 @default.
- W4205175461 cites W2047679686 @default.
- W4205175461 cites W2048339526 @default.
- W4205175461 cites W2048735525 @default.
- W4205175461 cites W2049797799 @default.
- W4205175461 cites W2051685387 @default.
- W4205175461 cites W2052270606 @default.
- W4205175461 cites W2054981947 @default.
- W4205175461 cites W2056365917 @default.
- W4205175461 cites W2058748429 @default.
- W4205175461 cites W2058774275 @default.
- W4205175461 cites W2058973858 @default.
- W4205175461 cites W2064363956 @default.
- W4205175461 cites W2065285281 @default.
- W4205175461 cites W2065423828 @default.
- W4205175461 cites W2066855259 @default.
- W4205175461 cites W2071514253 @default.
- W4205175461 cites W2073543470 @default.
- W4205175461 cites W2074448200 @default.