Name:	us-gaap_ShareBasedCompensationAbstract
Namespace Prefix:	us-gaap_
Data Type:	xbrli:stringItemType
Balance Type:	na
Period Type:	duration

The number of shares into which fully or partially vested stock options outstanding as of the balance sheet date can be currently converted under the option plan.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(iii)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsExercisableNumber
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

The weighted-average price as of the balance sheet date at which grantees can acquire the shares reserved for issuance on vested portions of options outstanding and currently exercisable under the stock option plan.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsExercisableWeightedAverageExercisePrice
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	instant

Number of options or other stock instruments for which the right to exercise has lapsed under the terms of the plan agreements.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(iv)(4)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsExpirationsInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

The number of shares under options that were cancelled during the reporting period as a result of occurrence of a terminating event specified in contractual agreements pertaining to the stock option plan.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(iv)(3)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsForfeituresInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Net number of share options (or share units) granted during the period.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(iv)(1)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsGrantsInPeriod
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	duration

Amount by which the current fair value of the underlying stock exceeds the exercise price of options outstanding.

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsOutstandingIntrinsicValue
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Number of options outstanding, including both vested and non-vested options.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Reference 2: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(i)-(ii)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsOutstandingNumber
Namespace Prefix:	us-gaap_
Data Type:	xbrli:sharesItemType
Balance Type:	na
Period Type:	instant

Weighted average price at which grantees can acquire the shares reserved for issuance under the stock option plan.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (c)(1)(i)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Name:	us-gaap_ShareBasedCompensationArrangementByShareBasedPaymentAwardOptionsOutstandingWeightedAverageExercisePrice
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	instant

Weighted average price at which grantees could have acquired the underlying shares with respect to stock options of the plan that expired.

No definition available.

Name:	us-gaap_ShareBasedCompensationArrangementsByShareBasedPaymentAwardOptionsExpirationsInPeriodWeightedAverageExercisePrice
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	duration

Weighted average price at which grantees could have acquired the underlying shares with respect to stock options that were terminated.

No definition available.

Name:	us-gaap_ShareBasedCompensationArrangementsByShareBasedPaymentAwardOptionsForfeituresInPeriodWeightedAverageExercisePrice
Namespace Prefix:	us-gaap_
Data Type:	dtr-types:perShareItemType
Balance Type:	na
Period Type:	duration

Amount of difference between fair value of the underlying shares reserved for issuance and exercise price of vested portions of options outstanding and currently exercisable.

Name:	us-gaap_SharebasedCompensationArrangementBySharebasedPaymentAwardOptionsExercisableIntrinsicValue1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	instant

Weighted average remaining contractual term for vested portions of options outstanding and currently exercisable or convertible, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

Name:	us-gaap_SharebasedCompensationArrangementBySharebasedPaymentAwardOptionsExercisableWeightedAverageRemainingContractualTerm1
Namespace Prefix:	us-gaap_
Data Type:	xbrli:durationItemType
Balance Type:	na
Period Type:	duration

Weighted average remaining contractual term for option awards outstanding, in 'PnYnMnDTnHnMnS' format, for example, 'P1Y5M13D' represents the reported fact of one year, five months, and thirteen days.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Publisher FASB
-Name Accounting Standards Codification
-Topic 718
-SubTopic 10
-Section 50
-Paragraph 2
-Subparagraph (e)(1)
-URI http://asc.fasb.org/extlink&oid=120381028&loc=d3e5070-113901

Symbolic Logic, Inc. 10-Q