User contributions for Alvinz
A user with 100 edits. Account created on 1 January 2017.
15 May 2024
- 06:1806:18, 15 May 2024 diff hist 0 m List of African countries by Human Development Index Fix punctuation
- 06:1706:17, 15 May 2024 diff hist +2 m List of African countries by Human Development Index Fix punctuation and capitalisation
11 February 2024
- 04:2604:26, 11 February 2024 diff hist +1 m Oath of Allegiance (Australia) →Governor-general: Typo fix: Hurley
3 January 2024
- 06:4806:48, 3 January 2024 diff hist +10 m Non-normal modal logic →Sequent Calculus: Fix typo in the conclusion of the sequent calculus E rule
29 December 2023
- 04:1604:16, 29 December 2023 diff hist +31 Non-normal modal logic Better description for the necessitation rule
27 December 2023
- 11:0911:09, 27 December 2023 diff hist +1 m User:Alvinz →Article: Article*s* current
- 11:0811:08, 27 December 2023 diff hist +25 User:Alvinz New article contributed: modal clausal form
- 11:0711:07, 27 December 2023 diff hist +72 N SNFml SNFml stands for separated normal form by modal levels, which is an alternative name for modal clausal form current Tag: New redirect
- 11:0511:05, 27 December 2023 diff hist +76 N Separated normal form by modal levels SNFml as an alternative name for modal clausal form current Tag: New redirect
- 11:0311:03, 27 December 2023 diff hist +79 N User:Alvinz/sandbox/Modal clausal form Alvinz moved page User:Alvinz/sandbox/Modal clausal form to Modal clausal form: Move to mainspace current Tag: New redirect
- 11:0211:02, 27 December 2023 diff hist +390 Modal clausal form Definition with multimodal logic
- 10:4610:46, 27 December 2023 diff hist +1,377 Modal clausal form Expand on the definition
- 10:3910:39, 27 December 2023 diff hist +26 Resolution calculi Redirect to the main article current Tag: Redirect target changed
- 10:3810:38, 27 December 2023 diff hist +67 N Resolution calculi Resolution calculi is the plural of resolution calculus Tag: New redirect
- 10:3710:37, 27 December 2023 diff hist +76 N Resolution calculus Resolution calculus is a common name for resolution current Tag: New redirect
- 10:2010:20, 27 December 2023 diff hist +41 N Tableau calculi ←Redirected page to Method of analytic tableaux current Tag: New redirect
- 10:1110:11, 27 December 2023 diff hist +265 m Counterexample-guided abstraction refinement References: author-links
- 10:0710:07, 27 December 2023 diff hist +110 m Non-normal modal logic References: links to authors' Wikipedia articles
- 10:0210:02, 27 December 2023 diff hist +38 m Modal clausal form Reference correction
- 09:5909:59, 27 December 2023 diff hist +518 Modal clausal form Mints normal form
- 05:4505:45, 27 December 2023 diff hist +51 m User:Alvinz →Contributions: New article: CEGAR
- 05:4405:44, 27 December 2023 diff hist −17 m Counterexample-guided abstraction refinement Remove sandbox header template
- 05:4305:43, 27 December 2023 diff hist +105 N User:Alvinz/sandbox/Counterexample-guided abstraction refinement Alvinz moved page User:Alvinz/sandbox/Counterexample-guided abstraction refinement to Counterexample-guided abstraction refinement: Move to mainspace current Tag: New redirect
- 05:4105:41, 27 December 2023 diff hist +106 Counterexample-guided abstraction refinement →Program verification: Fix grammar and organisation
- 05:3505:35, 27 December 2023 diff hist +681 Counterexample-guided abstraction refinement Refine introduction and add a new reference
- 05:0905:09, 27 December 2023 diff hist +328 Counterexample-guided abstraction refinement New section for CEGAR-Tableaux
- 05:0205:02, 27 December 2023 diff hist +2,710 Counterexample-guided abstraction refinement Model checking and refinement
- 04:4204:42, 27 December 2023 diff hist +25 m Non-normal modal logic Notation for Springer book access
- 03:5303:53, 27 December 2023 diff hist +786 Counterexample-guided abstraction refinement Refine introduction
- 03:3103:31, 27 December 2023 diff hist +1,222 Counterexample-guided abstraction refinement Add state explosion problem
- 03:2303:23, 27 December 2023 diff hist −4 m Non-normal modal logic Lecture Notes in Computer Science should be a series
- 03:0103:01, 27 December 2023 diff hist +125 Non-normal modal logic Alternative definition for the RE congruence rule
- 02:5302:53, 27 December 2023 diff hist +1,617 Non-normal modal logic Elaborate on the syntax
- 02:1802:18, 27 December 2023 diff hist +4 m Non-normal modal logic Wikification and correction of reference details
26 December 2023
- 08:1308:13, 26 December 2023 diff hist +95 User:Alvinz/sandbox Link to draft articles current
- 08:1108:11, 26 December 2023 diff hist +1,220 N Modal clausal form New article for modal clausal form
- 07:5007:50, 26 December 2023 diff hist +1,973 N Counterexample-guided abstraction refinement New article for CEGAR technique for model checking and tableau calculi
- 07:1307:13, 26 December 2023 diff hist +15 m Non-normal modal logic Add bracket to the K axiom to remove associativity ambuigity
24 December 2023
- 07:2607:26, 24 December 2023 diff hist +20 m User:Alvinz Add nationality label
- 07:1907:19, 24 December 2023 diff hist +58 m User:Alvinz Link to Commons user page
- 07:0907:09, 24 December 2023 diff hist −3 m User:Alvinz Generalise title font as sans
- 07:0707:07, 24 December 2023 diff hist +285 User:Alvinz New article contributed and link to personal website
- 06:4806:48, 24 December 2023 diff hist +825 m Non-normal modal logic Format article and references
- 06:2006:20, 24 December 2023 diff hist +171 Non-normal modal logic →Additional Axioms: Explain monotonic, regular and normal logic systems
- 06:1606:16, 24 December 2023 diff hist +1,044 Non-normal modal logic Add a section about additional axioms M, C and N
- 06:0306:03, 24 December 2023 diff hist +16 Non-normal modal logic →Semantics: langle and rangle for the neighbourhood model triple
- 06:0006:00, 24 December 2023 diff hist +1,371 Non-normal modal logic Add new section about neighbourhood semantics
- 05:4105:41, 24 December 2023 diff hist +79 N Neighbourhood semantics Redirect neighbourhood semantics to neighborhood semantics current Tag: New redirect