Category-3ALogic
type: Ontology
creation date: 2025-12-06T12:09:19+01:00
imports: http://semantic-mediawiki.org/swivt/1.0

Logic
type: Class
page: https://www.openresearch.org/wiki/Category-3ALogic
wiki namespace: 14
wiki page content language: en
wiki page creation date: 2008-12-24T08:03:42Z
creation date#aux: 2454824.8359028
last editor is: User:Soeren
wiki page modification date: 2020-02-26T21:32:00Z
modification date#aux: 2458906.3972222
wiki page sort key: Logic
subclass of: Category:Formal science

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERYcf9327317684088a5acf927077cf3779
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: icalendar
query size: 5
query string: ≥1 January 2016 ≤31 December 2016
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERYc3b76acfbab430abe4665307df7c519e
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY16c7dc8f2cf033c14ad61156e3666f7c
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY5fc41bc547872aa4096125345e33e77c
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY2cf8328260dab0c7b2f1ff9d87905d49
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY2bff7eb7baf54a7dc0cc027d550ae5f9
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY68bd882fb3f10e11272c609a5e898803
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: table
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERYcfaf0a20d6c342a9172408b506b6f3b9
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: table
query size: 3
query string: ≥21 February 2025
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERYda9b41d8ed65752d26773aeb86786768
type: Subject
master page: Logic
wiki namespace: 14
query depth: 1
query format: list
query size: 5
query string: ≥21 February 2025
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_QUERY002ff11f453446c5d30c95d2bc6d36b7
type: Subject
master page: Logic
wiki namespace: 14
query depth: 0
query format: list
query size: 2
query string:
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_ERR003c87646d3026c15f1608742381f560
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_unexpectedpart","[["]
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_ERR4d654bd0fc980a6b0597358ed2064db6
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_misplacedsymbol","[["]
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_ERR479c60d47340bb7e2bcf8e5e1e9207e6
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_unexpectedpart",""]
wiki page sort key: Logic

http://openresearch.org/wiki/Special:URIResolver/Category-3ALogic-23_ERR1dd423a8697e32d6813ecd1a7aae482c
type: Subject
master page: Logic
wiki namespace: 14
has improper value for: Property:Has query
has processing error text: [2,"smw_noclosingbrackets"]
wiki page sort key: Logic

TABLEAUX
type: Subject
page: https://www.openresearch.org/wiki/TABLEAUX
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TABLEAUX
type: Logic

LICS
type: Subject
page: https://www.openresearch.org/wiki/LICS
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LICS
type: Logic

ICLP
type: Subject
page: https://www.openresearch.org/wiki/ICLP
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ICLP
type: Logic

AiML
type: Subject
page: https://www.openresearch.org/wiki/AiML
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: AiML
type: Logic

Commonsense
type: Subject
page: https://www.openresearch.org/wiki/Commonsense
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: Commonsense
type: Logic

CSL
type: Subject
page: https://www.openresearch.org/wiki/CSL
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CSL
type: Logic

ILP
type: Subject
page: https://www.openresearch.org/wiki/ILP
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: ILP
type: Logic

TIME
type: Subject
page: https://www.openresearch.org/wiki/TIME
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: TIME
type: Logic

CIAA
type: Subject
page: https://www.openresearch.org/wiki/CIAA
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: CIAA
type: Logic

LOPSTR
type: Subject
page: https://www.openresearch.org/wiki/LOPSTR
wiki namespace: 0
wiki page content language: en
field: Logic
wiki page sort key: LOPSTR
type: Logic

Modal logic
type: Class
page: https://www.openresearch.org/wiki/Category-3AModal_logic
wiki namespace: 14
wiki page content language: en
wiki page sort key: Modal logic
subclass of: Logic

ALPSWS 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ALPSWS_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: ALPSWS 2008

ASPOCP 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ASPOCP_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: ASPOCP 2008

StuS 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/StuS_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: StuS 2008

JoLLI Special Issue 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/JoLLI_Special_Issue_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: JoLLI Special Issue 2008

WoLLIC 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/WoLLIC_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: WoLLIC 2008

LID 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LID_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: LID 2008

SELSE 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/SELSE_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: SELSE 2008

LICS 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2008

DEON 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/DEON_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: DEON 2008

DALT 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/DALT_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: DALT 2008

ISMVL 2008
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ISMVL_2008
wiki namespace: 0
wiki page content language: en
wiki page sort key: ISMVL 2008

LaSh 2016
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LaSh_2016
wiki namespace: 0
wiki page content language: en
wiki page sort key: LaSh 2016

LICS 2014
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2014
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2014

LICS 2002
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2002
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2002

LICS 1993
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1993
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1993

LICS 1992
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1992
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1992

LICS 2003
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2003
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2003

LICS 2004
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2004
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2004

LICS 1997
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1997
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1997

LICS 1990
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1990
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1990

LICS 1991
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1991
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1991

LICS 2005
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2005
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2005

LICS 1995
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1995
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1995

LICS 2007
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2007
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2007

LICS 2011
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2011
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2011

LICS 2015
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2015
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2015

LICS 2013
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2013
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2013

LICS 2016
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2016
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2016

LICS 2017
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2017
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2017

LICS 2010
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2010
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2010

LICS 1998
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1998
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1998

LICS 1999
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1999
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1999

LICS 2009
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2009
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2009

LICS 1996
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1996
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1996

LICS 2000
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2000
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2000

LICS 1988
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1988
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1988

LICS 1986
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1986
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1986

LICS 1987
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1987
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1987

LICS 2012
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2012
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2012

LICS 1994
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1994
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1994

LICS 2001
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2001
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2001

LICS 1989
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_1989
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 1989

LICS 2006
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2006
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2006

LICS 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2020

ICLP 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ICLP_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2020

TABLEAUX 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/TABLEAUX_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: TABLEAUX 2020

AiML 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/AiML_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2020

AiML 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/AiML_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: AiML 2018

CSL 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CSL_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2018

CSL 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CSL_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: CSL 2020

TIME 2019
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/TIME_2019
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2019

TIME 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/TIME_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2020

LOPSTR 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LOPSTR_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2018

LOPSTR 2016
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LOPSTR_2016
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2016

LICS 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2018

ILP 2009
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ILP_2009
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2009

ICLP 2009
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ICLP_2009
wiki namespace: 0
wiki page content language: en
wiki page sort key: ICLP 2009

ILP 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ILP_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2020

ILP 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ILP_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2018

ILP 2017
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ILP_2017
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2017

TIME 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/TIME_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: TIME 2018

LOPSTR 2017
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LOPSTR_2017
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2017

Commonsense 2011
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/Commonsense_2011
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2011

CIAA 2017
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CIAA_2017
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2017

Commonsense 2013
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/Commonsense_2013
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2013

CIAA 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CIAA_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2020

LOPSTR 2019
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LOPSTR_2019
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2019

Commonsense 2015
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/Commonsense_2015
wiki namespace: 0
wiki page content language: en
wiki page sort key: Commonsense 2015

ILP 2019
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/ILP_2019
wiki namespace: 0
wiki page content language: en
wiki page sort key: ILP 2019

CIAA 2019
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CIAA_2019
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2019

CIAA 2018
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CIAA_2018
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2018

LOPSTR 2020
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LOPSTR_2020
wiki namespace: 0
wiki page content language: en
wiki page sort key: LOPSTR 2020

LICS 2019
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/LICS_2019
wiki namespace: 0
wiki page content language: en
wiki page sort key: LICS 2019

CIAA 2021
type: Subject
type: Logic
page: https://www.openresearch.org/wiki/CIAA_2021
wiki namespace: 0
wiki page content language: en
wiki page sort key: CIAA 2021

Field
type: ObjectProperty
page: https://www.openresearch.org/wiki/Property-3AField
wiki namespace: 102
wiki page content language: en
wiki page sort key: Field

Subcategory of
type: ObjectProperty
page: https://www.openresearch.org/wiki/Property-3ASubcategory_of
wiki namespace: 102
wiki page content language: en
wiki page sort key: Subcategory of